TreeView Knowledge Base Browser - Haiti

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Haiti

Haiti

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3189-3189	currencyType Haiti and HaitianGourde
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	economyType Haiti and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 273-273	economyType Haiti and LessDevelopedCountry
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	geographicSubregion Haiti and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 448-448	Haiti e' uma instancia de Nacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4098-4098	Haiti se chama nome "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

codeMapping ISO-3166-1-alpha-2, "HT" and 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