No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3145-3145 |
歐元 是 芬蘭 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1237-1237 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 540-540 |
發達經濟 是 芬蘭 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 154-154 |
發達國家 是 芬蘭 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 430-430 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 318-318 |
芬蘭 是 北歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 319-319 |
例 芬蘭 and 歐洲國家 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3203-3203 |
會員 芬蘭 and 歐洲貨幣聯盟 |