| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2884-2884 |
阿富汗阿富汗尼 是 阿富汗 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2945-2945 |
阿尔巴尼亚列克 是 阿尔巴尼亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2949-2949 |
阿尔及利亚第纳尔 是 阿尔及利亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2953-2953 |
安哥拉宽扎 是 安哥拉 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2957-2957 |
阿根廷南部 是 阿根廷 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2961-2961 |
亚美尼亚德拉姆 是 亚美尼亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2965-2965 |
澳元 是 澳大利亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2969-2969 |
欧元 是 奥地利 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2973-2973 |
阿塞拜疆马纳特 是 阿塞拜疆 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2981-2981 |
Bahraini第纳尔 是 巴林 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2985-2985 |
孟加拉国塔卡 是 孟加拉国 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2989-2989 |
巴巴多斯元 是 巴巴多斯 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2993-2993 |
白俄罗斯语rubel 是 白俄罗斯 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2997-2997 |
欧元 是 比利时 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3001-3001 |
伯利兹美元 是 伯利兹 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3005-3005 |
贝宁法郎 是 贝宁 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3009-3009 |
百慕大元 是 百慕大 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3013-3013 |
不丹ngultrum 是 不丹 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3017-3017 |
玻利维亚玻利维亚诺 是 玻利维亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3021-3021 |
博茨瓦纳普拉 是 博茨瓦纳 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3025-3025 |
巴西真实 是 巴西 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3029-3029 |
文莱美元 是 文莱 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3033-3033 |
保加利亚列弗 是 保加利亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3037-3037 |
布基纳法索法郎 是 布基纳法索 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3041-3041 |
布隆迪法郎 是 布隆迪 的 currency 类别 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
