No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3109-3109 |
Dominican dollar is a currency type of dominica |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3113-3113 |
Dominican peso is a currency type of dominica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1226-1226 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 641-641 |
Developing country is an economy type of dominica |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 257-257 |
Less developed country is an economy type of dominica |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 392-392 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 440-440 |
Dominica is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 441-441 |
Dominica is an instance of nation |