No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3237-3237 |
Jamaican dollar is a currency type of jamaica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1267-1267 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 663-663 |
Developing country is an economy type of jamaica |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 279-279 |
Less developed country is an economy type of jamaica |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 526-526 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 449-449 |
Jamaica is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 450-450 |
Jamaica is an instance of nation |