TreeView Knowledge Base Browser - Ghana

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ghana

Ghana

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3161-3161	currencyType Ghana and GhanianCedi
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1244-1244
No TPTP formula. May not be expressible in strict first order.	Economy.kif 651-651	economyType Ghana and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 267-267	economyType Ghana and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 461-461
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 207-207	geographicSubregion Ghana and WesternAfrica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 208-208	Ghana e' uma instancia de Nacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3987-3987	Ghana se chama nome "Ghana"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25962-25962
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25961-25961
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25960-25960

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2705-2705

codeMapping ISO-3166-1-alpha-2, "GH" and Ghana

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