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
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1933-1933
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3093-3093 Kuwait city kuwait is a geographic subregion of kuwait
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1932-1932 Kuwait city kuwait is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3094-3094 Kuwait city kuwait has name "Kuwait City"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32917-32917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32916-32916
No TPTP formula. May not be expressible in strict first order. 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