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 2714-2714 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 2711-2711 非洲加勒比和太平洋國家集團 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 2715-2715 經濟合作非洲加勒比和太平洋國家集團organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2713-2713 非洲加勒比和太平洋國家集團 是 "ACP Group" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 2712-2712 非洲加勒比和太平洋國家集團 是 "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