No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3768-3768 |
法羅群島 是 丹麥 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3769-3769 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 153-153 |
發達國家 是 法羅群島 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 424-424 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 317-317 |
法羅群島 是 北歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3876-3876 |
例 法羅群島 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 311-311 |
例 法羅群島 and LandArea |