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 3160-3160 7 and February and 1992 是 歐洲貨幣聯盟 的成立 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3156-3156 歐洲貨幣聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order. Government.kif 3161-3161 貨幣聯盟歐洲貨幣聯盟organizational 目標

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3159-3159 歐洲貨幣聯盟 是 "EMU" 的簡稱
No TPTP formula. May not be expressible in strict first order. Government.kif 3158-3158 歐洲貨幣聯盟 是 "European Economic and Monetary Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3157-3157 歐洲貨幣聯盟 是 "European Monetary Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3163-3163 會員 奧地利 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3164-3164 會員 比利時 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3165-3165 會員 塞浦路斯 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3166-3166 會員 愛沙尼亞 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3167-3167 會員 芬蘭 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3168-3168 會員 法國 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3169-3169 會員 德國 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3170-3170 會員 希臘 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3171-3171 會員 愛爾蘭 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3172-3172 會員 意大利 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3173-3173 會員 拉脫維亞 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3174-3174 會員 立陶宛 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3175-3175 會員 盧森堡 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3176-3176 會員 馬耳他 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3177-3177 會員 荷蘭 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3178-3178 會員 葡萄牙 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3179-3179 會員 斯洛伐克 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3180-3180 會員 斯洛文尼亞 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3181-3181 會員 西班牙 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 3187-3191

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3193-3197

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3183-3183 會員 丹麥 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3184-3184 會員 瑞典 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3185-3185 會員 英國 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