Definition of "Petra" :

Definition: "Petra" is a geographical name.