|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3141-3141 | Fiji dollar is a currency type of fiji |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3145-3145 | Euro dollar is a currency type of finland |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2893-2893 | Euro dollar is a currency type of france |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3149-3149 | Gabon franc is a currency type of gabon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3153-3153 | Gambian dalasi is a currency type of gambia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2896-2896 | Euro dollar is a currency type of germany |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3161-3161 | Ghanian cedi is a currency type of ghana |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3165-3165 | Euro dollar is a currency type of greece |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3169-3169 | Grenada dollar is a currency type of grenada |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3173-3173 | Guatemalan quetzal is a currency type of guatemala |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3181-3181 | Guinean franc is a currency type of guinea |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3177-3177 | Guinea bissau peso is a currency type of guinea bissau |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3185-3185 | Guyana dollar is a currency type of guyana |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3189-3189 | Haitian gourde is a currency type of haiti |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3193-3193 | Honduran lempira is a currency type of honduras |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3197-3197 | Hong kong dollar is a currency type of hong kong |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3201-3201 | Hungarian forint is a currency type of hungary |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3205-3205 | Icelandic krona is a currency type of iceland |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3209-3209 | Indian rupee is a currency type of india |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3213-3213 | Indonesian rupiah is a currency type of indonesia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3217-3217 | Iranian rial is a currency type of iran |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3221-3221 | Iraqi dinar is a currency type of iraq |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3225-3225 | Euro dollar is a currency type of ireland |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3229-3229 | Israeli shekel is a currency type of israel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2899-2899 | Euro dollar is a currency type of italy |
| 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