| Aruba(aruba)
| | Aruba |
| appearance as argument number 1 |
|
|
| 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 | Aruba is a dependent of netherlands |
| 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 | Less developed country is an economy type of aruba |
| 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 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4087-4087 | Aruba has name "Aruba" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8599-8599 | Aruba has name "Aruba" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8598-8598 | Aruba has name "Aruba" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8597-8597 | Aruba has name "Aruba" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2846-2846 | "AW" in ISO_3166_1_alpha_2 denotes aruba |
|
|
|