| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3195-3195 |
欧洲货币联盟 是 "EMU" 的简称 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3194-3194 |
欧洲货币联盟 是 "European Economic and Monetary Union" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3193-3193 |
欧洲货币联盟 是 "European Monetary Union" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3199-3199 |
奥地利 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3200-3200 |
比利时 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3201-3201 |
塞浦路斯 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3202-3202 |
爱沙尼亚 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3203-3203 |
芬兰 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3204-3204 |
法国 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3205-3205 |
德国 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3206-3206 |
希腊 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3207-3207 |
爱尔兰 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3208-3208 |
意大利 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3209-3209 |
拉脱维亚 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3210-3210 |
立陶宛 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3211-3211 |
卢森堡 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3212-3212 |
马耳他 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3213-3213 |
荷兰 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3214-3214 |
葡萄牙 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3215-3215 |
斯洛伐克 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3216-3216 |
斯洛文尼亚 是 欧洲货币联盟 的 member |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3217-3217 |
西班牙 是 欧洲货币联盟 的 member |
| 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 |
