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 2723-2723 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 2720-2720 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 2724-2724 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 2722-2722 "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 2721-2721 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