No TPTP formula. May not be expressible in strict first order.	Economy.kif 3131-3131	EstonianKroon e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3135-3135	EthiopianBirr e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7400-7400	EuroCent e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7395-7395	EuroDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3139-3139	FijiDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3143-3143	FinnishMarkka e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2892-2892	FrenchFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3147-3147	GabonFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3151-3151	GambianDalasi e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3155-3155	GeorgianLari e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2895-2895	GermanMark e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3159-3159	GhanianCedi e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3163-3163	GreekDrachma e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3167-3167	GrenadaDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3171-3171	GuatemalanQuetzal e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3175-3175	GuineaBissauPeso e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3179-3179	GuineanFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3183-3183	GuyanaDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3187-3187	HaitianGourde e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3191-3191	HonduranLempira e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3195-3195	HongKongDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3199-3199	HungarianForint e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3203-3203	IcelandicKrona e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3207-3207	IndianRupee e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3211-3211	IndonesianRupiah e' uma instancia de UnitOfCurrency
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