No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3595-3595 |
Zambian kwacha is a currency type of zambia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1391-1391 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 731-731 |
Developing country is an economy type of zambia |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 347-347 |
Less developed country is an economy type of zambia |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 847-847 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 184-184 |
Zambia is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 185-185 |
Zambia is an instance of nation |