No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3787-3787 |
听过岛屿和麦当劳群岛 是 澳大利亚 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3788-3788 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 495-495 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 162-162 |
听过岛屿和麦当劳群岛 是 非洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3886-3886 |
听过岛屿和麦当劳群岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 143-143 |
听过岛屿和麦当劳群岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 144-144 |
听过岛屿和麦当劳群岛 接上 印度洋 |