Definitions for PETRA
stone, a weight equal to 14 pounds.
Origin: From Greek πέτρα (rock)
The Nuttall Encyclopedia
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.