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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))		 Government.kif 3160-3160 天 7 and 月 February and 年 1992 是 歐洲貨幣聯盟 的成立 date
(instance EuropeanMonetaryUnion OrganizationOfNations) Government.kif 3156-3156 例 歐洲貨幣聯盟 and 國際組織
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) Government.kif 3161-3161 貨幣聯盟 是 歐洲貨幣聯盟 的 organizational 目標

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


(abbreviation "EMU" EuropeanMonetaryUnion) Government.kif 3159-3159 歐洲貨幣聯盟 是 "EMU" 的簡稱
(conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) Government.kif 3158-3158 歐洲貨幣聯盟 是 "European Economic and Monetary Union" 的 conventional 全名
(conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) Government.kif 3157-3157 歐洲貨幣聯盟 是 "European Monetary Union" 的 conventional 全名
(member Austria EuropeanMonetaryUnion) Government.kif 3163-3163 會員 奧地利 and 歐洲貨幣聯盟
(member Belgium EuropeanMonetaryUnion) Government.kif 3164-3164 會員 比利時 and 歐洲貨幣聯盟
(member Cyprus EuropeanMonetaryUnion) Government.kif 3165-3165 會員 塞浦路斯 and 歐洲貨幣聯盟
(member Estonia EuropeanMonetaryUnion) Government.kif 3166-3166 會員 愛沙尼亞 and 歐洲貨幣聯盟
(member Finland EuropeanMonetaryUnion) Government.kif 3167-3167 會員 芬蘭 and 歐洲貨幣聯盟
(member France EuropeanMonetaryUnion) Government.kif 3168-3168 會員 法國 and 歐洲貨幣聯盟
(member Germany EuropeanMonetaryUnion) Government.kif 3169-3169 會員 德國 and 歐洲貨幣聯盟
(member Greece EuropeanMonetaryUnion) Government.kif 3170-3170 會員 希臘 and 歐洲貨幣聯盟
(member Ireland EuropeanMonetaryUnion) Government.kif 3171-3171 會員 愛爾蘭 and 歐洲貨幣聯盟
(member Italy EuropeanMonetaryUnion) Government.kif 3172-3172 會員 意大利 and 歐洲貨幣聯盟
(member Latvia EuropeanMonetaryUnion) Government.kif 3173-3173 會員 拉脫維亞 and 歐洲貨幣聯盟
(member Lithuania EuropeanMonetaryUnion) Government.kif 3174-3174 會員 立陶宛 and 歐洲貨幣聯盟
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3175-3175 會員 盧森堡 and 歐洲貨幣聯盟
(member Malta EuropeanMonetaryUnion) Government.kif 3176-3176 會員 馬耳他 and 歐洲貨幣聯盟
(member Netherlands EuropeanMonetaryUnion) Government.kif 3177-3177 會員 荷蘭 and 歐洲貨幣聯盟
(member Portugal EuropeanMonetaryUnion) Government.kif 3178-3178 會員 葡萄牙 and 歐洲貨幣聯盟
(member Slovakia EuropeanMonetaryUnion) Government.kif 3179-3179 會員 斯洛伐克 and 歐洲貨幣聯盟
(member Slovenia EuropeanMonetaryUnion) Government.kif 3180-3180 會員 斯洛文尼亞 and 歐洲貨幣聯盟
(member Spain EuropeanMonetaryUnion) Government.kif 3181-3181 會員 西班牙 and 歐洲貨幣聯盟
(termFormat ChineseLanguage EuropeanMonetaryUnion "欧洲货币联盟") domainEnglishFormat.kif 22570-22570
(termFormat ChineseTraditionalLanguage EuropeanMonetaryUnion "歐洲貨幣聯盟") domainEnglishFormat.kif 22569-22569
(termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") domainEnglishFormat.kif 22568-22568

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))		 Government.kif 3187-3191

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


(=>
    (and
        (instance ?AREA Nation)
        (currencyType ?AREA EuroDollar))
    (member ?AREA EuropeanMonetaryUnion))		 Government.kif 3193-3197