No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3744-3744 |
英属维尔京群岛 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3745-3745 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 294-294 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 435-435 |
英属维尔京群岛 是 加勒比地区 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2598-2598 |
英属维尔京群岛 是 维尔京群岛 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2595-2595 |
英属维尔京群岛 是 群岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3867-3867 |
英属维尔京群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 418-418 |
英属维尔京群岛 是 土地面积 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2602-2602 |
英属维尔京群岛 是 维尔京群岛 的 真正的子集 |