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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AfricanCaribbeanAndPacificGroupOfStates

Sigma KEE - AfricanCaribbeanAndPacificGroupOfStates
AfricanCaribbeanAndPacificGroupOfStates
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2750-2750 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and o dia 6
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 AfricanCaribbeanAndPacificGroupOfStates e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2751-2751 organizationalObjective AfricanCaribbeanAndPacificGroupOfStates and EconomicCooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2749-2749 abbreviation "ACP Group" and AfricanCaribbeanAndPacificGroupOfStates
No TPTP formula. May not be expressible in strict first order. Government.kif 2748-2748 conventionalLongName "African, Caribbean, and Pacific Group of States" and AfricanCaribbeanAndPacificGroupOfStates
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 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