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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KuwaitCityKuwait

Sigma KEE - KuwaitCityKuwait
KuwaitCityKuwait(kuwait city kuwait)Koweit, Kuwait, Kuwait_City, capital_of_Kuwait

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


(documentation KuwaitCityKuwait EnglishLanguage "The City of KuwaitCity in Kuwait.") CountriesAndRegions.kif 1933-1933
(geographicSubregion KuwaitCityKuwait Kuwait) CountriesAndRegions.kif 3093-3093 Kuwait city kuwait is a geographic subregion of kuwait
(instance KuwaitCityKuwait City) CountriesAndRegions.kif 1932-1932 Kuwait city kuwait is an instance of city

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


(names "Kuwait City" KuwaitCityKuwait) CountriesAndRegions.kif 3094-3094 Kuwait city kuwait has name "Kuwait City"
(termFormat ChineseLanguage KuwaitCityKuwait "科威特市科威特") domainEnglishFormat.kif 32917-32917
(termFormat ChineseTraditionalLanguage KuwaitCityKuwait "科威特市科威特") domainEnglishFormat.kif 32916-32916
(termFormat EnglishLanguage KuwaitCityKuwait "kuwait city kuwait") domainEnglishFormat.kif 32915-32915


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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