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