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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuropeanMonetaryUnion

 Sigma KEE - EuropeanMonetaryUnion
EuropeanMonetaryUnion(歐洲貨幣聯盟)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3196-3196 天 7 and 月 February and 年 1992 是 歐洲貨幣聯盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3192-3192 例 歐洲貨幣聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3197-3197 貨幣聯盟 是 歐洲貨幣聯盟 的 organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3195-3195 歐洲貨幣聯盟 是 "EMU" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3194-3194 歐洲貨幣聯盟 是 "European Economic and Monetary Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3193-3193 歐洲貨幣聯盟 是 "European Monetary Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3199-3199 會員 奧地利 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3200-3200 會員 比利時 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3201-3201 會員 塞浦路斯 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3202-3202 會員 愛沙尼亞 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3203-3203 會員 芬蘭 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3204-3204 會員 法國 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3205-3205 會員 德國 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3206-3206 會員 希臘 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3207-3207 會員 愛爾蘭 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3208-3208 會員 意大利 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3209-3209 會員 拉脫維亞 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3210-3210 會員 立陶宛 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3211-3211 會員 盧森堡 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3212-3212 會員 馬耳他 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3213-3213 會員 荷蘭 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3214-3214 會員 葡萄牙 and 歐洲貨幣聯盟
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 3216-3216 會員 斯洛文尼亞 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3217-3217 會員 西班牙 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22570-22570
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22569-22569
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22568-22568

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3227

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3229-3233

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 會員 丹麥 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 會員 瑞典 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 會員 英國 and 歐洲貨幣聯盟


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