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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroDollar
EuroDollar(euro dollar)euro

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 7398-7399
(documentation EuroDollar JapaneseLanguage "ほとんどの欧州連合諸国の通貨指標。") japanese_format.kif 1336-1336
(instance EuroDollar UnitOfCurrency) Merge.kif 7396-7396 Euro dollar is an instance of unit of currency

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


(currencyType Austria EuroDollar) Economy.kif 3084-3084 Euro dollar is a currency type of austria
(currencyType Belgium EuroDollar) Economy.kif 3112-3112 Euro dollar is a currency type of belgium
(currencyType Cyprus EuroDollar) Economy.kif 3208-3208 Euro dollar is a currency type of cyprus
(currencyType Estonia EuroDollar) Economy.kif 3248-3248 Euro dollar is a currency type of estonia
(currencyType Finland EuroDollar) Economy.kif 3260-3260 Euro dollar is a currency type of finland
(currencyType France EuroDollar) Economy.kif 3008-3008 Euro dollar is a currency type of france
(currencyType Germany EuroDollar) Economy.kif 3011-3011 Euro dollar is a currency type of germany
(currencyType Greece EuroDollar) Economy.kif 3280-3280 Euro dollar is a currency type of greece
(currencyType Ireland EuroDollar) Economy.kif 3340-3340 Euro dollar is a currency type of ireland
(currencyType Italy EuroDollar) Economy.kif 3014-3014 Euro dollar is a currency type of italy
(currencyType Latvia EuroDollar) Economy.kif 3384-3384 Euro dollar is a currency type of latvia
(currencyType Lithuania EuroDollar) Economy.kif 3404-3404 Euro dollar is a currency type of lithuania
(currencyType Luxembourg EuroDollar) Economy.kif 3408-3408 Euro dollar is a currency type of luxembourg
(currencyType Malta EuroDollar) Economy.kif 3432-3432 Euro dollar is a currency type of malta
(currencyType Netherlands EuroDollar) Economy.kif 3216-3216 Euro dollar is a currency type of netherlands
(currencyType Portugal EuroDollar) Economy.kif 3528-3528 Euro dollar is a currency type of portugal
(currencyType Slovakia EuroDollar) Economy.kif 3572-3572 Euro dollar is a currency type of slovakia
(currencyType Slovenia EuroDollar) Economy.kif 3574-3574 Euro dollar is a currency type of slovenia
(currencyType Spain EuroDollar) Economy.kif 3590-3590 Euro dollar is a currency type of spain
(termFormat ChineseLanguage EuroDollar "欧元") domainEnglishFormat.kif 22523-22523 Euro dollar is a currency type of spain
(termFormat ChineseTraditionalLanguage EuroDollar "歐元") domainEnglishFormat.kif 22522-22522 Euro dollar is a currency type of spain
(termFormat EnglishLanguage EuroDollar "euro dollar") domainEnglishFormat.kif 22521-22521 Euro dollar is a currency type of spain

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


(codeMapping ISO-4217-A "EUR" EuroDollar) Media.kif 2302-2302 "EUR" in ISO-4217-A denotes euro dollar

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


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

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


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