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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MonetaryUnion

 Sigma KEE - MonetaryUnion
MonetaryUnion(貨幣聯盟)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2660-2660 子屬性 貨幣聯盟 and 金融合作

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3197-3197 貨幣聯盟 是 歐洲貨幣聯盟 的 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 3273-3273 貨幣聯盟 是 法郎區 的 organizational 目標
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38349-38349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38348-38348
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38347-38347


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