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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Haiti

 Sigma KEE - Haiti
Haiti(海地)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3189-3189 海地古德 是 海地 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1253-1253
No TPTP formula. May not be expressible in strict first order. Economy.kif 657-657 发展中国家 是 海地 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 273-273 较未发达国家 是 海地 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 487-487
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 447-447 海地 是 加勒比地区 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 448-448 海地 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4098-4098 海地 的名 是 "Haiti"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27228-27228
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27227-27227
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27226-27226

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2715-2715 "HT" 在 ISO-3166-1-alpha-2 denotes 海地


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