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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuroDollar

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 7397-7398
(documentation EuroDollar JapaneseLanguage "ほとんどの欧州連合諸国の通貨指標。") japanese_format.kif 1336-1336
(instance EuroDollar UnitOfCurrency) Merge.kif 7395-7395 欧元UnitOfCurrencyinstance

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


(currencyType Austria EuroDollar) Economy.kif 2969-2969 欧元奥地利currency 类别
(currencyType Belgium EuroDollar) Economy.kif 2997-2997 欧元比利时currency 类别
(currencyType Cyprus EuroDollar) Economy.kif 3093-3093 欧元塞浦路斯currency 类别
(currencyType Estonia EuroDollar) Economy.kif 3133-3133 欧元爱沙尼亚currency 类别
(currencyType Finland EuroDollar) Economy.kif 3145-3145 欧元芬兰currency 类别
(currencyType France EuroDollar) Economy.kif 2893-2893 欧元法国currency 类别
(currencyType Germany EuroDollar) Economy.kif 2896-2896 欧元德国currency 类别
(currencyType Greece EuroDollar) Economy.kif 3165-3165 欧元希腊currency 类别
(currencyType Ireland EuroDollar) Economy.kif 3225-3225 欧元爱尔兰currency 类别
(currencyType Italy EuroDollar) Economy.kif 2899-2899 欧元意大利currency 类别
(currencyType Latvia EuroDollar) Economy.kif 3269-3269 欧元拉脱维亚currency 类别
(currencyType Lithuania EuroDollar) Economy.kif 3289-3289 欧元立陶宛currency 类别
(currencyType Luxembourg EuroDollar) Economy.kif 3293-3293 欧元卢森堡currency 类别
(currencyType Malta EuroDollar) Economy.kif 3317-3317 欧元马耳他currency 类别
(currencyType Netherlands EuroDollar) Economy.kif 3101-3101 欧元荷兰currency 类别
(currencyType Portugal EuroDollar) Economy.kif 3413-3413 欧元葡萄牙currency 类别
(currencyType Slovakia EuroDollar) Economy.kif 3457-3457 欧元斯洛伐克currency 类别
(currencyType Slovenia EuroDollar) Economy.kif 3459-3459 欧元斯洛文尼亚currency 类别
(currencyType Spain EuroDollar) Economy.kif 3475-3475 欧元西班牙currency 类别
(termFormat ChineseLanguage EuroDollar "欧元") domainEnglishFormat.kif 22510-22510
(termFormat ChineseTraditionalLanguage EuroDollar "歐元") domainEnglishFormat.kif 22509-22509
(termFormat EnglishLanguage EuroDollar "euro dollar") domainEnglishFormat.kif 22508-22508

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