No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3057-3057 |
開曼群島美元 是 開曼群島 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3747-3747 |
開曼群島 是 英國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3748-3748 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 330-330 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 436-436 |
開曼群島 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3868-3868 |
例 開曼群島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 419-419 |
例 開曼群島 and LandArea |