No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2989-2989 |
Barbados dollar is a currency type of barbados |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1190-1190 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 624-624 |
Developing country is an economy type of barbados |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 240-240 |
Less developed country is an economy type of barbados |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 256-256 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 433-433 |
Barbados is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 434-434 |
Barbados is an instance of nation |