No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3846-3846 |
特罗姆林岛 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3847-3847 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 797-797 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 183-183 |
特罗姆林岛 是 非洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3917-3917 |
特罗姆林岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 149-149 |
特罗姆林岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 150-150 |
特罗姆林岛 接上 印度洋 |