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 7426-7427
(documentation EuroDollar JapaneseLanguage "ほとんどの欧州連合諸国の通貨指標。") japanese_format.kif 1336-1336
(instance EuroDollar UnitOfCurrency) Merge.kif 7424-7424 EuroDollar est une instance de UnitOfCurrency

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


(currencyType Austria EuroDollar) Economy.kif 3306-3306 currencyType Austria and EuroDollar
(currencyType Belgium EuroDollar) Economy.kif 3334-3334 currencyType Belgium and EuroDollar
(currencyType Cyprus EuroDollar) Economy.kif 3430-3430 currencyType Cyprus and EuroDollar
(currencyType Estonia EuroDollar) Economy.kif 3470-3470 currencyType Estonia and EuroDollar
(currencyType Finland EuroDollar) Economy.kif 3482-3482 currencyType Finland and EuroDollar
(currencyType France EuroDollar) Economy.kif 3230-3230 currencyType France and EuroDollar
(currencyType Germany EuroDollar) Economy.kif 3233-3233 currencyType Germany and EuroDollar
(currencyType Greece EuroDollar) Economy.kif 3502-3502 currencyType Greece and EuroDollar
(currencyType Ireland EuroDollar) Economy.kif 3562-3562 currencyType Ireland and EuroDollar
(currencyType Italy EuroDollar) Economy.kif 3236-3236 currencyType Italy and EuroDollar
(currencyType Latvia EuroDollar) Economy.kif 3606-3606 currencyType Latvia and EuroDollar
(currencyType Lithuania EuroDollar) Economy.kif 3626-3626 currencyType Lithuania and EuroDollar
(currencyType Luxembourg EuroDollar) Economy.kif 3630-3630 currencyType Luxembourg and EuroDollar
(currencyType Malta EuroDollar) Economy.kif 3654-3654 currencyType Malta and EuroDollar
(currencyType Netherlands EuroDollar) Economy.kif 3438-3438 currencyType Netherlands and EuroDollar
(currencyType Portugal EuroDollar) Economy.kif 3750-3750 currencyType Portugal and EuroDollar
(currencyType Slovakia EuroDollar) Economy.kif 3794-3794 currencyType Slovakia and EuroDollar
(currencyType Slovenia EuroDollar) Economy.kif 3796-3796 currencyType Slovenia and EuroDollar
(currencyType Spain EuroDollar) Economy.kif 3812-3812 currencyType Spain and EuroDollar
(termFormat ChineseLanguage EuroDollar "欧元") domainEnglishFormat.kif 22516-22516 currencyType Spain and EuroDollar
(termFormat ChineseTraditionalLanguage EuroDollar "歐元") domainEnglishFormat.kif 22515-22515 currencyType Spain and EuroDollar
(termFormat EnglishLanguage EuroDollar "euro dollar") domainEnglishFormat.kif 22514-22514 currencyType Spain and EuroDollar

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


(codeMapping ISO_4217_A "EUR" EuroDollar) Media.kif 2304-2304 codeMapping ISO_4217_A, "EUR" and EuroDollar

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


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

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


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