Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EconomicIntegration
EconomicIntegration(economic integration)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2629-2629 Economic integration is a subattribute of economic cooperation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2760-2760 Economic integration is an organizational objective of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2782-2782 Economic integration is an organizational objective of arab cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 2806-2806 Economic integration is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2865-2865 Economic integration is an organizational objective of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 2892-2892 Economic integration is an organizational objective of caribbean community and common market
No TPTP formula. May not be expressible in strict first order. Government.kif 2914-2914 Economic integration is an organizational objective of central american bank for economic integration
No TPTP formula. May not be expressible in strict first order. Government.kif 2921-2921 Economic integration is an organizational objective of central american common market
No TPTP formula. May not be expressible in strict first order. Government.kif 2983-2983 Economic integration is an organizational objective of council of arab economic unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3098-3098 Economic integration is an organizational objective of economic community of the great lakes countries
No TPTP formula. May not be expressible in strict first order. Government.kif 3140-3140 Economic integration is an organizational objective of european community
No TPTP formula. May not be expressible in strict first order. Government.kif 3218-3218 Economic integration is an organizational objective of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3606-3606 Economic integration is an organizational objective of latin american integration association
No TPTP formula. May not be expressible in strict first order. Government.kif 3614-3614 Economic integration is an organizational objective of monetary and economic community of central africa
No TPTP formula. May not be expressible in strict first order. Government.kif 3821-3821 Economic integration is an organizational objective of southern african development community
No TPTP formula. May not be expressible in strict first order. Government.kif 4263-4263 Economic integration is an organizational objective of west african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 4271-4271 Economic integration is an organizational objective of west african economic and monetary union
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21155-21155
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21154-21154
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21153-21153


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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