TreeView Knowledge Base Browser - Malawi

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Malawi

Malawi

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3305-3305	currencyType Malawi and MalawianKwacha
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	economyType Malawi and DevelopingCountry
No TPTP formula. May not be expressible in strict first order.	Economy.kif 290-290	economyType Malawi and LessDevelopedCountry
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	geographicSubregion Malawi and SouthernAfrica
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 169-169	Malawi e' uma instancia de Nacao

appearance as argument number 2

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

codeMapping ISO-3166-1-alpha-2, "MW" and Malawi

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