No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3740-3740 |
布维岛 是 挪威 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3741-3741 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 285-285 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 157-157 |
布维岛 是 非洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3865-3865 |
布维岛 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 137-137 |
布维岛 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 138-138 |
布维岛 接上 南大西洋 |