|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3237-3237 | Jamaican dollar is a currency type of jamaica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2902-2902 | Japanese yen is a currency type of japan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3241-3241 | Jordanian dinar is a currency type of jordan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3245-3245 | Kazakhstani tenge is a currency type of kazakhstan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3249-3249 | Kenyan shilling is a currency type of kenya |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3253-3253 | Kiribati dollar is a currency type of kiribati |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3257-3257 | Kuwaiti dinar is a currency type of kuwait |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3261-3261 | Kyrgyzstani som is a currency type of kyrgyzstan |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3265-3265 | Laotian kip is a currency type of laos |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3269-3269 | Euro dollar is a currency type of latvia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3273-3273 | Lebanese pound is a currency type of lebanon |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3277-3277 | Lesotho loti is a currency type of lesotho |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3281-3281 | Liberian dollar is a currency type of liberia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3285-3285 | Libyan dinar is a currency type of libya |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3289-3289 | Euro dollar is a currency type of lithuania |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3293-3293 | Euro dollar is a currency type of luxembourg |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3297-3297 | Macao pataca is a currency type of macau |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3301-3301 | Madagascar franc is a currency type of madagascar |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3305-3305 | Malawian kwacha is a currency type of malawi |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3309-3309 | Malaysian ringgit is a currency type of malaysia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3313-3313 | Mali franc is a currency type of mali |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3317-3317 | Euro dollar is a currency type of malta |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3321-3321 | Mauritanian ouguiya is a currency type of mauritius |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3325-3325 | Mauritian rupee is a currency type of mauritius |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3329-3329 | Mexican peso is a currency type of mexico |
| 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