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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Kuwait

Sigma KEE - Kuwait
Kuwait(kuwait)
Koweit, Kuwait, State_of_Kuwait

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3257-3257 Kuwaiti dinar is a currency type of kuwait
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1274-1274
No TPTP formula. May not be expressible in strict first order. Economy.kif 667-667 Developing country is an economy type of kuwait
No TPTP formula. May not be expressible in strict first order. Economy.kif 283-283 Less developed country is an economy type of kuwait
No TPTP formula. May not be expressible in strict first order. pictureList.kif 543-543
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 254-254 Kuwait is a geographic subregion of middle east region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 255-255 Kuwait is an instance of nation

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


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 4008-4008 Kuwait has name "Kuwait"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32911-32911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32910-32910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32909-32909

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2737-2737 "KW" in ISO-3166-1-alpha-2 denotes kuwait


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