No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3169-3169 |
Grenada dollar is a currency type of grenada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1248-1248 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 652-652 |
Developing country is an economy type of grenada |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 268-268 |
Less developed country is an economy type of grenada |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 475-475 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 444-444 |
Grenada is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 445-445 |
Grenada is an instance of nation |