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 2750-2750 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 9871-9871
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10356-10356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10357-10357
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10358-10358
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10359-10359
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10360-10360
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10361-10361
No TPTP formula. May not be expressible in strict first order. Government.kif 2747-2747 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 2751-2751 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 2749-2749 "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 2748-2748 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 5730-5730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5729-5729
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5728-5728


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