No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3730-3730 |
Aruba is a dependent of netherlands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3731-3731 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 620-620 |
Developing country is an economy type of aruba |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 236-236 |
Less developed country is an economy type of aruba |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 239-239 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 430-430 |
Aruba is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3860-3860 |
Aruba is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 417-417 |
Aruba is an instance of land area |