No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3778-3778 |
Glorioso岛屿 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3779-3779 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 465-465 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 161-161 |
Glorioso岛屿 是 非洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3881-3881 |
Glorioso岛屿 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 141-141 |
Glorioso岛屿 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 142-142 |
Glorioso岛屿 接上 印度洋 |