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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Kuwait
Kuwait(科威特)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3257-3257 科威特第纳尔科威特currency 类别
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 发展中国家科威特economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 283-283 较未发达国家科威特economy 类别
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 科威特中东地区geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 255-255 科威特国家instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3093-3093 科威特市科威特科威特geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4008-4008 科威特 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 科威特


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