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 |
例 布維島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 137-137 |
例 布維島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 138-138 |
空間的符合 布維島 and 南大西洋 |