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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroDollar
EuroDollar(欧元)

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


(documentation EuroDollar ChineseLanguage "这是大部分欧盟国家使用的货币单位。") chinese_format.kif 2622-2622
(documentation EuroDollar EnglishLanguage "A currency measure of most European Union countries.") Merge.kif 7383-7384
(documentation EuroDollar JapaneseLanguage "ほとんどの欧州連合諸国の通貨指標。") japanese_format.kif 1336-1336
(instance EuroDollar UnitOfCurrency) Merge.kif 7381-7381 欧元 是 UnitOfCurrency 的 instance

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


(currencyType Austria EuroDollar) Economy.kif 2985-2985 欧元 是 奥地利 的 currency 类别
(currencyType Belgium EuroDollar) Economy.kif 3013-3013 欧元 是 比利时 的 currency 类别
(currencyType Cyprus EuroDollar) Economy.kif 3109-3109 欧元 是 塞浦路斯 的 currency 类别
(currencyType Estonia EuroDollar) Economy.kif 3149-3149 欧元 是 爱沙尼亚 的 currency 类别
(currencyType Finland EuroDollar) Economy.kif 3161-3161 欧元 是 芬兰 的 currency 类别
(currencyType France EuroDollar) Economy.kif 2909-2909 欧元 是 法国 的 currency 类别
(currencyType Germany EuroDollar) Economy.kif 2912-2912 欧元 是 德国 的 currency 类别
(currencyType Greece EuroDollar) Economy.kif 3181-3181 欧元 是 希腊 的 currency 类别
(currencyType Ireland EuroDollar) Economy.kif 3241-3241 欧元 是 爱尔兰 的 currency 类别
(currencyType Italy EuroDollar) Economy.kif 2915-2915 欧元 是 意大利 的 currency 类别
(currencyType Latvia EuroDollar) Economy.kif 3285-3285 欧元 是 拉脱维亚 的 currency 类别
(currencyType Lithuania EuroDollar) Economy.kif 3305-3305 欧元 是 立陶宛 的 currency 类别
(currencyType Luxembourg EuroDollar) Economy.kif 3309-3309 欧元 是 卢森堡 的 currency 类别
(currencyType Malta EuroDollar) Economy.kif 3333-3333 欧元 是 马耳他 的 currency 类别
(currencyType Netherlands EuroDollar) Economy.kif 3117-3117 欧元 是 荷兰 的 currency 类别
(currencyType Portugal EuroDollar) Economy.kif 3429-3429 欧元 是 葡萄牙 的 currency 类别
(currencyType Slovakia EuroDollar) Economy.kif 3473-3473 欧元 是 斯洛伐克 的 currency 类别
(currencyType Slovenia EuroDollar) Economy.kif 3475-3475 欧元 是 斯洛文尼亚 的 currency 类别
(currencyType Spain EuroDollar) Economy.kif 3491-3491 欧元 是 西班牙 的 currency 类别
(termFormat ChineseLanguage EuroDollar "欧元") domainEnglishFormat.kif 22513-22513
(termFormat ChineseTraditionalLanguage EuroDollar "歐元") domainEnglishFormat.kif 22512-22512
(termFormat EnglishLanguage EuroDollar "euro dollar") domainEnglishFormat.kif 22511-22511

appearance as argument number 3
-------------------------


(codeMapping ISO-4217-A "EUR" EuroDollar) Media.kif 2302-2302 "EUR" 在 ISO-4217-A denotes 欧元

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


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

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


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