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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Day非洲加勒比和太平洋国家集团 的成立 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 非洲加勒比和太平洋国家集团国际组织instance
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 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