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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonetaryAndEconomicCommunityOfCentralAfrica
MonetaryAndEconomicCommunityOfCentralAfrica(monetary and economic community of central africa)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3630-3630 The day 8 is a date established of monetary and economic community of central africa
No TPTP formula. May not be expressible in strict first order. Government.kif 3625-3625 Monetary and economic community of central africa is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3631-3631 Economic integration is an organizational objective of monetary and economic community of central africa

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3627-3627 "CEMAC" is an abbreviation of monetary and economic community of central africa
No TPTP formula. May not be expressible in strict first order. Government.kif 3626-3626 Monetary and economic community of central africa is a conventional long name of "Monetary and Economic Community of Central Africa"
No TPTP formula. May not be expressible in strict first order. Government.kif 3628-3628 "Central African Customs and Economic Union" is a former name for monetary and economic community of central africa
No TPTP formula. May not be expressible in strict first order. Government.kif 3629-3629 "UDEAC" is a former name for monetary and economic community of central africa
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38316-38316
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38315-38315
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38314-38314


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