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 3759-3759 天 6 and 月 February and 年 1947 是 太平洋社區 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3755-3755 例 太平洋社區 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3760-3760 經濟合作 是 太平洋社區 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3761-3761 社會合作 是 太平洋社區 的 organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3756-3756 太平洋社區 是 "Pacific Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3758-3758 "SPC" 是對於 太平洋社區 的 former name
No TPTP formula. May not be expressible in strict first order. Government.kif 3757-3757 "South Pacific Commission" 是對於 太平洋社區 的 former name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43868-43868
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43867-43867
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43866-43866


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