Ghana - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ghana

Ghana(ghana)

Ghana, Gold_Coast, Republic_of_Ghana

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3161-3161	Ghanian cedi is a currency type of ghana
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	Developing country is an economy type of ghana
No TPTP formula. May not be expressible in strict first order.	Economy.kif 267-267	Less developed country is an economy type of ghana
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	Ghana is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 208-208	Ghana is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3987-3987	Ghana has name "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

"GH" in ISO-3166-1-alpha-2 denotes ghana

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