UnitOfCurrency(unit of currency) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3035-3035 | Burkina faso franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3039-3039 | Burundi franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3043-3043 | Cambodian riel is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3047-3047 | Cameroon franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2889-2889 | Canadian dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3051-3051 | Cape verde escudo is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3055-3055 | Cayman islands dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3059-3059 | Central african republic franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3063-3063 | Chadian franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3067-3067 | Chilean peso is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3071-3071 | Chinese yuan is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3075-3075 | Colombian peso is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3079-3079 | Congo franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3083-3083 | Costa rican colon is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3087-3087 | Cuban peso is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3091-3091 | Cypriot pound is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3095-3095 | Czech koruna is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3099-3099 | Danish krone is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3103-3103 | Djibouti franc is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3107-3107 | Dominican dollar is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3111-3111 | Dominican peso is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3115-3115 | Dutch guilder is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3119-3119 | Ecuadoran sucre is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3123-3123 | Egyptian pound is an instance of unit of currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3127-3127 | El salvadoran colon is an instance of unit of currency |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |