No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3301-3301 |
Madagascar franc is a currency type of madagascar |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1285-1285 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 673-673 |
Developing country is an economy type of madagascar |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 289-289 |
Less developed country is an economy type of madagascar |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 569-569 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 166-166 |
Madagascar is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 167-167 |
Madagascar is an instance of nation |