No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3793-3793 |
人島 是 英國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3794-3794 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 522-522 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 358-358 |
人島 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3889-3889 |
例 人島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 346-346 |
例 人島 and LandArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6965-6965 |
方位 人島, 北愛爾蘭 and 東 |