Holman Bible Dictionary 
Judges 1:36 2 Kings 14:7 Isaiah 16:1 Isaiah 42:11 2 Corinthians 11:32-33
Easton's Bible Dictionary 
Hastings' Dictionary of the Bible 
Petra See Sela.
Cyclopedia of Biblical, Theological and Ecclesiastical Literature 
Copyright StatementThese files are public domain. Bibliography InformationMcClintock, John. Strong, James. Entry for 'Petra'. Cyclopedia of Biblical, Theological and Ecclesiastical Literature. https://www.studylight.org/encyclopedias/eng/tce/p/petra.html. Harper & Brothers. New York. 1870.
Kitto's Popular Cyclopedia of Biblial Literature 
Pe´tra was the capital of the Nabathaean Arabs in the land of Edom, and seems to have given name to the kingdom and region of Arabia Petrœa. As there is mention in the Old Testament of a stronghold which successively belonged to the Amorites , the Edomites and the Moabites (, comp. in Hebrew ), and bore in Hebrew the name of Selah, which has the same meaning as Petra in Greek, viz., 'a rock,' that circumstance has led to the conjecture that the Petra of the Nabatheans had been the Selah of Edom. But the consideration of that point in a work of this nature falls more naturally under the Bible head of Selah, to which article accordingly the reader is referred; and there likewise the question will be disposed of as to whether (on the supposition of Petra being the Selah of Scripture) its site is to be identified with that of the modern Kereh, or with the locality of the far famed Wady Musa [[[Arabia; Idumea; Nebaioth]]]
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.