No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3009-3009 |
百慕大元 是 百慕大 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3738-3738 |
百慕大 是 英國 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3739-3739 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 150-150 |
發達國家 是 百慕大 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 275-275 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 404-404 |
百慕大 是 北美 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3864-3864 |
例 百慕大 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 400-400 |
例 百慕大 and LandArea |