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 |