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 2617-2617 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 2758-2758 Economic integration is an organizational objective of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2780-2780 Economic integration is an organizational objective of arab cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 2804-2804 Economic integration is an organizational objective of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2863-2863 Economic integration is an organizational objective of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 2890-2890 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 2912-2912 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 2919-2919 Economic integration is an organizational objective of central american common market
No TPTP formula. May not be expressible in strict first order. Government.kif 2981-2981 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 3096-3096 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 3138-3138 Economic integration is an organizational objective of european community
No TPTP formula. May not be expressible in strict first order. Government.kif 3216-3216 Economic integration is an organizational objective of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3604-3604 Economic integration is an organizational objective of latin american integration association
No TPTP formula. May not be expressible in strict first order. Government.kif 3612-3612 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 3819-3819 Economic integration is an organizational objective of southern african development community
No TPTP formula. May not be expressible in strict first order. Government.kif 4261-4261 Economic integration is an organizational objective of west african development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 4269-4269 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 21177-21177 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 21176-21176 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 21175-21175 Economic integration is an organizational objective of west african economic and monetary union


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