petra—a female given name from Ancient Greek, masculine equivalent Peter, equivalent to English Petra