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 2624-2624 子屬性 貨幣聯盟 and 金融合作

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


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


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