No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3133-3133 |
歐元 是 愛沙尼亞 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1234-1234 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 582-582 |
轉型國家 是 愛沙尼亞 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 415-415 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 298-298 |
愛沙尼亞 是 東歐洲 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 299-299 |
例 愛沙尼亞 and Nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3166-3166 |
會員 愛沙尼亞 and 歐洲貨幣聯盟 |