|
| 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 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners