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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KuwaitCityKuwait
KuwaitCityKuwait(科威特市科威特)

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 科威特市科威特科威特geographic 次要地区
(instance KuwaitCityKuwait City) CountriesAndRegions.kif 1932-1932 科威特市科威特城市instance

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


(names "Kuwait City" KuwaitCityKuwait) CountriesAndRegions.kif 3094-3094 科威特市科威特 的名 是 "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 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