Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HilversumNetherlands
HilversumNetherlands(hilversum netherlands)

appearance as argument number 1

(documentation HilversumNetherlands EnglishLanguage "The City of Hilversum in Netherlands.") CountriesAndRegions.kif 1797-1797
(externalImage HilversumNetherlands " commons/ 1/ 1f/ Dutch_Municipality_Hilversum_2006.png") pictureList.kif 3982-3982
(externalImage HilversumNetherlands " commons/ a/ af/ Raadhuis_Hilversum2.jpg") pictureList.kif 4143-4143
(geographicSubregion HilversumNetherlands Netherlands) CountriesAndRegions.kif 2926-2926 Hilversum netherlands is a geographic subregion of netherlands
(instance HilversumNetherlands City) CountriesAndRegions.kif 1796-1796 Hilversum netherlands is an instance of city

appearance as argument number 2

(names "Hilversum" HilversumNetherlands) CountriesAndRegions.kif 2927-2927 Hilversum netherlands has name "Hilversum"
(termFormat ChineseLanguage HilversumNetherlands "希尔弗瑟姆荷兰") domainEnglishFormat.kif 28111-28111
(termFormat ChineseTraditionalLanguage HilversumNetherlands "希爾弗瑟姆荷蘭") domainEnglishFormat.kif 28110-28110
(termFormat EnglishLanguage HilversumNetherlands "hilversum netherlands") domainEnglishFormat.kif 28109-28109

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners