No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3595-3595 |
currencyType Zambia and ZambianKwacha |
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 |
economyType Zambia and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 347-347 |
economyType Zambia and LessDevelopedCountry |
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 |
geographicSubregion Zambia and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 185-185 |
Zambia e' uma instancia de Nacao |