No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3768-3768 |
法罗群岛 是 丹麦 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3769-3769 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 153-153 |
发达国家 是 法罗群岛 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 424-424 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 317-317 |
法罗群岛 是 北欧 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3876-3876 |
法罗群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 311-311 |
法罗群岛 是 土地面积 的 instance |