No TPTP formula. May not be expressible in strict first order.	Economy.kif 3035-3035	Burkina faso franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3039-3039	Burundi franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3043-3043	Cambodian riel is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3047-3047	Cameroon franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2889-2889	Canadian dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3051-3051	Cape verde escudo is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3055-3055	Cayman islands dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3059-3059	Central african republic franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3063-3063	Chadian franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3067-3067	Chilean peso is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3071-3071	Chinese yuan is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3075-3075	Colombian peso is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3079-3079	Congo franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3083-3083	Costa rican colon is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3087-3087	Cuban peso is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3091-3091	Cypriot pound is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3095-3095	Czech koruna is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3099-3099	Danish krone is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3103-3103	Djibouti franc is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3107-3107	Dominican dollar is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3111-3111	Dominican peso is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3115-3115	Dutch guilder is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3119-3119	Ecuadoran sucre is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3123-3123	Egyptian pound is an instance of unit of currency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3127-3127	El salvadoran colon 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