No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3730-3730 |
阿魯巴 是 荷蘭 的 dependent |
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 |
發展中國家 是 阿魯巴 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 236-236 |
較未發達國家 是 阿魯巴 的 economy 類別 |
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 |
阿魯巴 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3860-3860 |
例 阿魯巴 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 417-417 |
例 阿魯巴 and LandArea |