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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MombassaKenya
MombassaKenya(mombassa kenya)Mombasa

appearance as argument number 1
-------------------------


(documentation MombassaKenya EnglishLanguage "The City of Mombassa in Kenya.") CountriesAndRegions.kif 2069-2069
(geographicSubregion MombassaKenya Kenya) CountriesAndRegions.kif 3247-3247 Mombassa kenya is a geographic subregion of kenya
(instance MombassaKenya City) CountriesAndRegions.kif 2068-2068 Mombassa kenya is an instance of city

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


(names "Mombassa" MombassaKenya) CountriesAndRegions.kif 3248-3248 Mombassa kenya has name "Mombassa"
(termFormat ChineseLanguage MombassaKenya "蒙巴萨肯尼亚") domainEnglishFormat.kif 38337-38337 Mombassa kenya has name "Mombassa"
(termFormat ChineseTraditionalLanguage MombassaKenya "蒙巴薩肯尼亞") domainEnglishFormat.kif 38336-38336 Mombassa kenya has name "Mombassa"
(termFormat EnglishLanguage MombassaKenya "mombassa kenya") domainEnglishFormat.kif 38335-38335 Mombassa kenya has name "Mombassa"


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