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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuropeanUnion

 Sigma KEE - EuropeanUnion
EuropeanUnion(歐洲聯盟)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3254-3254 天 7 and 月 February and 年 1992 是 歐洲聯盟 的成立 date
No TPTP formula. May not be expressible in strict first order. pictureList.kif 419-419
No TPTP formula. May not be expressible in strict first order. Government.kif 3251-3251 例 歐洲聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3255-3255 經濟一體化 是 歐洲聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3259-3259 軍事合作 是 歐洲聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3256-3256 貨幣聯盟 是 歐洲聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3257-3257 政治合作 是 歐洲聯盟 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3258-3258 社會合作 是 歐洲聯盟 的 organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3253-3253 歐洲聯盟 是 "EU" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3252-3252 歐洲聯盟 是 "European Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3260-3260 歐洲聯盟 是 歐洲共同體 的 successor 組織
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22600-22600
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22599-22599
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22598-22598


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