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 6 and June and 1975 是 非洲加勒比和太平洋國家集團 的成立 date
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 非洲加勒比和太平洋國家集團 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2751-2751 經濟合作非洲加勒比和太平洋國家集團organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2749-2749 非洲加勒比和太平洋國家集團 是 "ACP Group" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 2748-2748 非洲加勒比和太平洋國家集團 是 "African, Caribbean, and Pacific Group of States" 的 conventional 全名
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