hivatalos megnevezés: Kráľovská Boca, magyar megnevezés: Királyboca (településrész -> Felsőboca [Vyšná Boca]), kód: [511188], járás: Liptószentmiklós [505], kerület: Zsolnai kerület [5]