不属于西安市，只是西安市努力想把杨陵纳入自己的管辖区，但是并不是。