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 |