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 38301-38301
(termFormat ChineseTraditionalLanguage MombassaKenya "蒙巴薩肯尼亞") domainEnglishFormat.kif 38300-38300
(termFormat EnglishLanguage MombassaKenya "mombassa kenya") domainEnglishFormat.kif 38299-38299


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