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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroDollar
EuroDollareuro, euro_dollar

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


(documentation EuroDollar ChineseLanguage "这是大部分欧盟国家使用的货币单位。") Merge.kif 7668-7668
(documentation EuroDollar EnglishLanguage "A currency measure of most European Union countries.") Merge.kif 7666-7667
(instance EuroDollar UnitOfCurrency) Merge.kif 7665-7665

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


(currencyType Austria EuroDollar) Economy.kif 2972-2972
(currencyType Belgium EuroDollar) Economy.kif 3000-3000
(currencyType Cyprus EuroDollar) Economy.kif 3096-3096
(currencyType Estonia EuroDollar) Economy.kif 3136-3136
(currencyType Finland EuroDollar) Economy.kif 3148-3148
(currencyType France EuroDollar) Economy.kif 2896-2896
(currencyType Germany EuroDollar) Economy.kif 2899-2899
(currencyType Greece EuroDollar) Economy.kif 3168-3168
(currencyType Ireland EuroDollar) Economy.kif 3228-3228
(currencyType Italy EuroDollar) Economy.kif 2902-2902
(currencyType Latvia EuroDollar) Economy.kif 3272-3272
(currencyType Lithuania EuroDollar) Economy.kif 3292-3292
(currencyType Luxembourg EuroDollar) Economy.kif 3296-3296
(currencyType Malta EuroDollar) Economy.kif 3320-3320
(currencyType Netherlands EuroDollar) Economy.kif 3104-3104
(currencyType Portugal EuroDollar) Economy.kif 3416-3416
(currencyType Slovakia EuroDollar) Economy.kif 3460-3460
(currencyType Slovenia EuroDollar) Economy.kif 3462-3462
(currencyType Spain EuroDollar) Economy.kif 3478-3478
(termFormat EnglishLanguage EuroDollar "euro dollar") domainEnglishFormat.kif 4173-4173

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


(codeMapping ISO-4217-A "EUR" EuroDollar) Media.kif 2297-2297

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


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

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


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