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 Day 是 欧洲联盟 的成立 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 欧洲联盟 是 国际组织 的 instance
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