Malawi - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Malawi

Malawi(malawi)

Malawi, Nyasaland, Republic_of_Malawi

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3305-3305	Malawian kwacha is a currency type of malawi
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1286-1286
No TPTP formula. May not be expressible in strict first order.	Economy.kif 674-674	Developing country is an economy type of malawi
No TPTP formula. May not be expressible in strict first order.	Economy.kif 290-290	Less developed country is an economy type of malawi
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 572-572
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 168-168	Malawi is a geographic subregion of southern africa
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 169-169	Malawi is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3967-3967	Malawi has name "Malawi"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35783-35783
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35782-35782
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35781-35781

appearance as argument number 3

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

Media.kif 2760-2760

"MW" in ISO-3166-1-alpha-2 denotes malawi

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