No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3105-3105 |
Djibouti franc is a currency type of djibouti |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1225-1225 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 640-640 |
Developing country is an economy type of djibouti |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 256-256 |
Less developed country is an economy type of djibouti |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 391-391 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 97-97 |
Djibouti is a geographic subregion of eastern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 98-98 |
Djibouti is an instance of nation |