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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kenya
Kenya(kenya)
Kenya, Republic_of_Kenya

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


(currencyType Kenya KenyanShilling) Economy.kif 3249-3249 Kenyan shilling is a currency type of kenya
(documentation Kenya EnglishLanguage "The Nation of Kenya.") CountriesAndRegions.kif 1271-1271
(economyType Kenya DevelopingCountry) Economy.kif 665-665 Developing country is an economy type of kenya
(economyType Kenya LessDevelopedCountry) Economy.kif 281-281 Less developed country is an economy type of kenya
(externalImage Kenya "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ K/ Kenya.png") pictureList.kif 536-536
(geographicSubregion Kenya EasternAfrica) CountriesAndRegions.kif 103-103 Kenya is a geographic subregion of eastern africa
(instance Kenya Nation) CountriesAndRegions.kif 104-104 Kenya is an instance of nation

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


(geographicSubregion MombassaKenya Kenya) CountriesAndRegions.kif 3247-3247 Mombassa kenya is a geographic subregion of kenya
(geographicSubregion NairobiKenya Kenya) CountriesAndRegions.kif 3284-3284 Nairobi kenya is a geographic subregion of kenya
(names "Kenya" Kenya) CountriesAndRegions.kif 3940-3940 Kenya has name "Kenya"
(termFormat ChineseLanguage Kenya "肯尼亚") domainEnglishFormat.kif 32317-32317
(termFormat ChineseTraditionalLanguage Kenya "肯尼亞") domainEnglishFormat.kif 32316-32316
(termFormat EnglishLanguage Kenya "kenya") domainEnglishFormat.kif 32315-32315

appearance as argument number 3
-------------------------


(codeMapping ISO-3166-1-alpha-2 "KE" Kenya) Media.kif 2730-2730 "KE" in ISO-3166-1-alpha-2 denotes kenya


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