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 |