No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3803-3803 |
胡安德诺瓦岛 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3804-3804 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 532-532 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 163-163 |
胡安德诺瓦岛 是 非洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3894-3894 |
胡安德诺瓦岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 145-145 |
胡安德诺瓦岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 146-146 |
胡安德诺瓦岛 接上 印度洋 |