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 3218-3218 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 3215-3215 歐洲聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 經濟一體化歐洲聯盟organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3223 軍事合作歐洲聯盟organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 貨幣聯盟歐洲聯盟organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 政治合作歐洲聯盟organizational 目標
No TPTP formula. May not be expressible in strict first order. Government.kif 3222-3222 社會合作歐洲聯盟organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3217-3217 歐洲聯盟 是 "EU" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3216-3216 歐洲聯盟 是 "European Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3224-3224 歐洲聯盟歐洲共同體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