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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PacificCommunity

 Sigma KEE - PacificCommunity
PacificCommunity(太平洋社区)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3795-3795 6 Day 是 太平洋社区 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3791-3791 太平洋社区 是 国际组织 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 3796-3796 经济合作 是 太平洋社区 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 3797-3797 社会合作 是 太平洋社区 的 organizational 目标

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3792-3792 太平洋社区 是 "Pacific Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3794-3794 "SPC" 是对于 太平洋社区 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 3793-3793 "South Pacific Commission" 是对于 太平洋社区 的 former name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43866-43866
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43865-43865
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43864-43864


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