hivatalos megnevezés: Petrovce, magyar megnevezés: Pétervágása (település), kód: [528986], járás: Varannó [713], kerület: Eperjesi kerület [7]
