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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Haiti

Sigma KEE - Haiti
Haiti(haiti)
Haiti, Republic_of_Haiti

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3189-3189 Haitian gourde is a currency type of haiti
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 Developing country is an economy type of haiti
No TPTP formula. May not be expressible in strict first order. Economy.kif 273-273 Less developed country is an economy type of haiti
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 Haiti is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 448-448 Haiti is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4098-4098 Haiti has name "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" in ISO-3166-1-alpha-2 denotes haiti


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