No TPTP formula. May not be expressible in strict first order.	Economy.kif 3035-3035	BurkinaFasoFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3039-3039	BurundiFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3043-3043	CambodianRiel e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3047-3047	CameroonFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2889-2889	CanadianDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3051-3051	CapeVerdeEscudo e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3055-3055	CaymanIslandsDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3059-3059	CentralAfricanRepublicFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3063-3063	ChadianFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3067-3067	ChileanPeso e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3071-3071	ChineseYuan e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3075-3075	ColombianPeso e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3079-3079	CongoFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3083-3083	CostaRicanColon e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3087-3087	CubanPeso e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3091-3091	CypriotPound e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3095-3095	CzechKoruna e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3099-3099	DanishKrone e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3103-3103	DjiboutiFranc e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3107-3107	DominicanDollar e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3111-3111	DominicanPeso e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3115-3115	DutchGuilder e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3119-3119	EcuadoranSucre e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3123-3123	EgyptianPound e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3127-3127	ElSalvadoranColon 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