|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3131-3131 | Estonian kroon is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3135-3135 | Ethiopian birr is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7400-7400 | Euro cent is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7395-7395 | Euro dollar is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3139-3139 | Fiji dollar is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3143-3143 | Finnish markka is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2892-2892 | French franc is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3147-3147 | Gabon franc is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3151-3151 | Gambian dalasi is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3155-3155 | Georgian lari is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2895-2895 | German mark is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3159-3159 | Ghanian cedi is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3163-3163 | Greek drachma is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3167-3167 | Grenada dollar is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3171-3171 | Guatemalan quetzal is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3175-3175 | Guinea bissau peso is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3179-3179 | Guinean franc is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3183-3183 | Guyana dollar is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3187-3187 | Haitian gourde is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3191-3191 | Honduran lempira is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3195-3195 | Hong kong dollar is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3199-3199 | Hungarian forint is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3203-3203 | Icelandic krona is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3207-3207 | Indian rupee is an instance of unit of currency |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3211-3211 | Indonesian rupiah is an instance of unit of currency |
| 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