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 |