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 "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Dutch_Municipality_Hilversum_2006.png") pictureList.kif 3981-3981
(externalImage HilversumNetherlands "http://upload.wikimedia.org/wikipedia/ commons/ a/ af/ Raadhuis_Hilversum2.jpg") pictureList.kif 4142-4142
(geographicSubregion HilversumNetherlands Netherlands) CountriesAndRegions.kif 2925-2925 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 2926-2926 Hilversum netherlands has name "Hilversum"
(termFormat ChineseLanguage HilversumNetherlands "希尔弗瑟姆荷兰") domainEnglishFormat.kif 28209-28209
(termFormat ChineseTraditionalLanguage HilversumNetherlands "希爾弗瑟姆荷蘭") domainEnglishFormat.kif 28208-28208
(termFormat EnglishLanguage HilversumNetherlands "hilversum netherlands") domainEnglishFormat.kif 28207-28207


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 3.0 is open source software produced by Articulate Software and its partners