张家界森林公园是个大概念，武陵源是其中一个景区的地名。天子山和金鞭溪在武陵源，天门山在张家界市区。