oficiálny názov: Petrovce, maďarský názov: Petróc (obec), kód: [522899], okres: Sobrance [809], kraj: Košický kraj [8]
