No TPTP formula. May not be expressible in strict first order.	Economy.kif 3215-3215	Iranian rial is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3219-3219	Iraqi dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3223-3223	Irish pound is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3227-3227	Israeli shekel is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2898-2898	Italian lira is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3231-3231	Ivory coast franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3235-3235	Jamaican dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2901-2901	Japanese yen is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3239-3239	Jordanian dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3243-3243	Kazakhstani tenge is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3247-3247	Kenyan shilling is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3251-3251	Kiribati dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3255-3255	Kuwaiti dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3259-3259	Kyrgyzstani som is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3263-3263	Laotian kip is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3267-3267	Latvian lats is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3271-3271	Lebanese pound is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3275-3275	Lesotho loti is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3279-3279	Liberian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3283-3283	Libyan dinar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3287-3287	Lithuanian litas is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3291-3291	Luxembourg franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3295-3295	Macao pataca is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3299-3299	Madagascar franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3303-3303	Malawian kwacha 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