Petra, a ruined city, and once the rock capital of Edom, and afterwards of Arabia Petræa; was a place of some importance at one time as a commercial centre; the name Petra signifies rock.
Definition taken from The Nuttall Encyclopædia, edited by the Reverend James Wood (1907)
Petöfi, Sandor * Petrarch, Francesco