No TPTP formula. May not be expressible in strict first order.	Government.kif 3707-3707	Economic cooperation is an organizational objective of organization for economic cooperation and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3741-3741	Economic cooperation is an organizational objective of organization of african unity
No TPTP formula. May not be expressible in strict first order.	Government.kif 3766-3766	Economic cooperation is an organizational objective of organization of arab petroleum exporting countries
No TPTP formula. May not be expressible in strict first order.	Government.kif 3773-3773	Economic cooperation is an organizational objective of organization of eastern caribbean states
No TPTP formula. May not be expressible in strict first order.	Government.kif 3787-3787	Economic cooperation is an organizational objective of organization of the islamic conference
No TPTP formula. May not be expressible in strict first order.	Government.kif 3796-3796	Economic cooperation is an organizational objective of pacific community
No TPTP formula. May not be expressible in strict first order.	Government.kif 3835-3835	Economic cooperation is an organizational objective of south asian association for regional cooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3842-3842	Economic cooperation is an organizational objective of south pacific regional trade and economic cooperation agreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 3867-3867	Economic cooperation is an organizational objective of southern cone common market
No TPTP formula. May not be expressible in strict first order.	Government.kif 2656-2656	Economic integration is a subattribute of economic cooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2657-2657	Economic policy coordination is a subattribute of economic cooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2661-2661	Energy cooperation is a subattribute of economic cooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2659-2659	Financial cooperation is a subattribute of economic cooperation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21138-21138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21137-21137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21136-21136

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