currencyType |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3045-3045 | Cambodian riel is a currency type of cambodia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3049-3049 | Cameroon franc is a currency type of cameroon |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2890-2890 | Canadian dollar is a currency type of canada |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3053-3053 | Cape verde escudo is a currency type of cape verde |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3057-3057 | Cayman islands dollar is a currency type of cayman islands |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3061-3061 | Central african republic franc is a currency type of central african republic |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3065-3065 | Chadian franc is a currency type of chad |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3069-3069 | Chilean peso is a currency type of chile |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3073-3073 | Chinese yuan is a currency type of china |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3077-3077 | Colombian peso is a currency type of colombia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3085-3085 | Costa rican colon is a currency type of costa rica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3233-3233 | Ivory coast franc is a currency type of coteD ivoire |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3089-3089 | Cuban peso is a currency type of cuba |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3093-3093 | Euro dollar is a currency type of cyprus |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3097-3097 | Czech koruna is a currency type of czech republic |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3081-3081 | Congo franc is a currency type of democratic republic of the congo |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3589-3589 | Zairese zaire is a currency type of democratic republic of the congo |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3105-3105 | Djibouti franc is a currency type of djibouti |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3109-3109 | Dominican dollar is a currency type of dominica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3113-3113 | Dominican peso is a currency type of dominica |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3121-3121 | Ecuadoran sucre is a currency type of ecuador |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3125-3125 | Egyptian pound is a currency type of egypt |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3129-3129 | El salvadoran colon is a currency type of el salvador |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3133-3133 | Euro dollar is a currency type of estonia |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3137-3137 | Ethiopian birr is a currency type of ethiopia |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |