No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3736-3736 |
Bassas da 印度 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3737-3737 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 264-264 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 154-154 |
Bassas da 印度 是 非洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3863-3863 |
Bassas da 印度 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 135-135 |
Bassas da 印度 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 136-136 |
Bassas da 印度 接上 印度洋 |