PETRA (Ptolemy), Petræ (Silius Italicus), Petrina (Italicus), in both which last urbs is understood; an inland town of Sicily, to the south-west of Ennyum, Now Petragna (Cluverius).
PETRA Jeciad (2 Kings xiv.), a town of the Amalekites; near the Adscenus Scorpionis (Judges i.) and the valley of Salt in the south of Judæa: afterwards in the possession of the Edomites, after destroying the Amalekites.