Mali - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Mali

Mali(mali)

French_Sudan, Mali, Republic_of_Mali

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3313-3313	Mali franc is a currency type of mali
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1289-1289
No TPTP formula. May not be expressible in strict first order.	Economy.kif 677-677	Developing country is an economy type of mali
No TPTP formula. May not be expressible in strict first order.	Economy.kif 293-293	Less developed country is an economy type of mali
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 575-575
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 215-215	Mali is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 216-216	Mali is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3991-3991	Mali has name "Mali"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35855-35855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35854-35854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35853-35853

appearance as argument number 3

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

Media.kif 2754-2754

"ML" in ISO-3166-1-alpha-2 denotes mali

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