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 3196-3196 7 Day 是 欧洲货币联盟 的成立 date
(instance EuropeanMonetaryUnion OrganizationOfNations) Government.kif 3192-3192 欧洲货币联盟 是 国际组织 的 instance
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) Government.kif 3197-3197 货币联盟 是 欧洲货币联盟 的 organizational 目标

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


(abbreviation "EMU" EuropeanMonetaryUnion) Government.kif 3195-3195 欧洲货币联盟 是 "EMU" 的简称
(conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) Government.kif 3194-3194 欧洲货币联盟 是 "European Economic and Monetary Union" 的 conventional 全名
(conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) Government.kif 3193-3193 欧洲货币联盟 是 "European Monetary Union" 的 conventional 全名
(member Austria EuropeanMonetaryUnion) Government.kif 3199-3199 奥地利 是 欧洲货币联盟 的 member
(member Belgium EuropeanMonetaryUnion) Government.kif 3200-3200 比利时 是 欧洲货币联盟 的 member
(member Cyprus EuropeanMonetaryUnion) Government.kif 3201-3201 塞浦路斯 是 欧洲货币联盟 的 member
(member Estonia EuropeanMonetaryUnion) Government.kif 3202-3202 爱沙尼亚 是 欧洲货币联盟 的 member
(member Finland EuropeanMonetaryUnion) Government.kif 3203-3203 芬兰 是 欧洲货币联盟 的 member
(member France EuropeanMonetaryUnion) Government.kif 3204-3204 法国 是 欧洲货币联盟 的 member
(member Germany EuropeanMonetaryUnion) Government.kif 3205-3205 德国 是 欧洲货币联盟 的 member
(member Greece EuropeanMonetaryUnion) Government.kif 3206-3206 希腊 是 欧洲货币联盟 的 member
(member Ireland EuropeanMonetaryUnion) Government.kif 3207-3207 爱尔兰 是 欧洲货币联盟 的 member
(member Italy EuropeanMonetaryUnion) Government.kif 3208-3208 意大利 是 欧洲货币联盟 的 member
(member Latvia EuropeanMonetaryUnion) Government.kif 3209-3209 拉脱维亚 是 欧洲货币联盟 的 member
(member Lithuania EuropeanMonetaryUnion) Government.kif 3210-3210 立陶宛 是 欧洲货币联盟 的 member
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3211-3211 卢森堡 是 欧洲货币联盟 的 member
(member Malta EuropeanMonetaryUnion) Government.kif 3212-3212 马耳他 是 欧洲货币联盟 的 member
(member Netherlands EuropeanMonetaryUnion) Government.kif 3213-3213 荷兰 是 欧洲货币联盟 的 member
(member Portugal EuropeanMonetaryUnion) Government.kif 3214-3214 葡萄牙 是 欧洲货币联盟 的 member
(member Slovakia EuropeanMonetaryUnion) Government.kif 3215-3215 斯洛伐克 是 欧洲货币联盟 的 member
(member Slovenia EuropeanMonetaryUnion) Government.kif 3216-3216 斯洛文尼亚 是 欧洲货币联盟 的 member
(member Spain EuropeanMonetaryUnion) Government.kif 3217-3217 西班牙 是 欧洲货币联盟 的 member
(termFormat ChineseLanguage EuropeanMonetaryUnion "欧洲货币联盟") domainEnglishFormat.kif 22573-22573
(termFormat ChineseTraditionalLanguage EuropeanMonetaryUnion "歐洲貨幣聯盟") domainEnglishFormat.kif 22572-22572
(termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") domainEnglishFormat.kif 22571-22571

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 3223-3227

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


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