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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HilversumNetherlands
HilversumNetherlands

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
(instance HilversumNetherlands City) CountriesAndRegions.kif 1796-1796

appearance as argument number 2
-------------------------


(names "Hilversum" HilversumNetherlands) CountriesAndRegions.kif 2926-2926
(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