currencyType |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3045-3045 | 柬埔寨瑞爾 是 柬埔寨 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3049-3049 | 喀麥隆法郎 是 喀麥隆 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2890-2890 | 加拿大元 是 加拿大 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3053-3053 | 佛得角埃斯庫多 是 佛得角 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3057-3057 | 開曼群島美元 是 開曼群島 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3061-3061 | 中非共和國法郎 是 中非共和國 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3065-3065 | 乍得法郎 是 chad 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3069-3069 | 智利比索 是 智利 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3073-3073 | 人民幣 是 中國 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3077-3077 | 哥倫比亞比索 是 哥倫比亞 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3085-3085 | 哥斯達黎加結腸 是 哥斯達黎加 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3233-3233 | 象牙海岸法郎 是 科特迪瓦科特迪瓦 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3089-3089 | 古巴比索 是 古巴 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3093-3093 | 歐元 是 塞浦路斯 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3097-3097 | 捷克克朗 是 捷克共和國 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3081-3081 | 剛果法郎 是 剛果民主共和國 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3589-3589 | ZaireseZaire 是 剛果民主共和國 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3105-3105 | 吉布提法郎 是 吉布提 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3109-3109 | 多米尼加元 是 多米尼加 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3113-3113 | 多米尼加比索 是 多米尼加 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3121-3121 | Ecuadoran 糖 是 厄瓜多爾 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3125-3125 | 埃及鎊 是 埃及 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3129-3129 | 薩爾瓦多蘭結腸 是 薩爾瓦多 的 currency 類別 |
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. | Economy.kif 3137-3137 | 埃塞俄比亞比爾 是 埃塞俄比亞 的 currency 類別 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |