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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CouncilOfArabEconomicUnity

Sigma KEE - CouncilOfArabEconomicUnity
CouncilOfArabEconomicUnity(council of arab economic unity)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3014-3014 The day 3 is a date established of council of arab economic unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3016-3018
No TPTP formula. May not be expressible in strict first order. Government.kif 3011-3011 Council of arab economic unity is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3020-3020 Economic integration is an organizational objective of council of arab economic unity

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3013-3013 "CAEU" is an abbreviation of council of arab economic unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3012-3012 Council of arab economic unity is a conventional long name of "Council of Arab Economic Unity"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17526-17526
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17525-17525
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17524-17524


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

Show without tree


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