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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AfricanCaribbeanAndPacificGroupOfStates
AfricanCaribbeanAndPacificGroupOfStates(african caribbean and pacific group of states)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2691-2691 The day 6 is a date established of african caribbean and pacific group of states
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9889-9889
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10377-10377
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10378-10378
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10379-10379
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10380-10380
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10381-10381
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10382-10382
No TPTP formula. May not be expressible in strict first order. Government.kif 2688-2688 African caribbean and pacific group of states is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2692-2692 Economic cooperation is an organizational objective of african caribbean and pacific group of states

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2690-2690 "ACP Group" is an abbreviation of african caribbean and pacific group of states
No TPTP formula. May not be expressible in strict first order. Government.kif 2689-2689 African caribbean and pacific group of states is a conventional long name of "African, Caribbean, and Pacific Group of States"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5741-5741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5740-5740
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5739-5739


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