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 |
阿鲁巴 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 417-417 |
阿鲁巴 是 土地面积 的 instance |