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 |
例 特羅姆林島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 149-149 |
例 特羅姆林島 and Island |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 150-150 |
空間的符合 特羅姆林島 and 印度洋 |