Petra

Petra ist die weibliche Form aus der griechischen Namensfamilie um Πέτρος. Das griechische Wort πέτρα bedeutet „Fels“ oder „Felsgestein“. Die lateinische und moderne Form Petra wurde nicht erst in der Neuzeit gebildet. Das Dictionary of Medieval Names from European Sources dokumentiert Petra in lateinischem Material aus Italien. Daneben führt es französische Verkleinerungsformen und ältere weibliche Varianten an.

In der bekannten DMNES-Auswahl findet sich ein italienischer Belegzeitraum von 1265 bis 1339 mit der exakten Form Petra. Die Datierung beschreibt den überlieferten Dokumentzusammenhang. Sie ist keine Behauptung, dass der Name erst damals entstanden sei. Die französische Formfamilie um Perrine und Perrette gehört in denselben Bedeutungsbereich, bleibt aber orthografisch getrennt. Nominis führt Petra als weiblichen Vornamen und nennt den 29. Juni sowie den 21. Dezember. Die deutsche Politikerin Petra Kelly belegt die moderne öffentliche Verwendung der Form.