"Petra" 是一个常见的女性名字,来源于希腊语,意为“岩石”或“岩石般坚强”。在英文名中,这个名字通常直接使用 "Petra"。如果你是指某个特定人物或地方的英文名,请提供更多信息,以便我能给出更准确的答案。