No TPTP formula. May not be expressible in strict first order. |
Government.kif 3159-3159 |
歐洲貨幣聯盟 是 "EMU" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3158-3158 |
歐洲貨幣聯盟 是 "European Economic and Monetary Union" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3157-3157 |
歐洲貨幣聯盟 是 "European Monetary Union" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3163-3163 |
會員 奧地利 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3164-3164 |
會員 比利時 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3165-3165 |
會員 塞浦路斯 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3166-3166 |
會員 愛沙尼亞 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3167-3167 |
會員 芬蘭 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3168-3168 |
會員 法國 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3169-3169 |
會員 德國 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3170-3170 |
會員 希臘 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3171-3171 |
會員 愛爾蘭 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3172-3172 |
會員 意大利 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3173-3173 |
會員 拉脫維亞 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3174-3174 |
會員 立陶宛 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3175-3175 |
會員 盧森堡 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3176-3176 |
會員 馬耳他 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3177-3177 |
會員 荷蘭 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3178-3178 |
會員 葡萄牙 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3179-3179 |
會員 斯洛伐克 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3180-3180 |
會員 斯洛文尼亞 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3181-3181 |
會員 西班牙 and 歐洲貨幣聯盟 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22570-22570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22569-22569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22568-22568 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |