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