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


KB Term:  Term intersection
English Word: 

Sigma KEE - EuroDollar
EuroDollar(euro dollar)euro

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


(instance EuroDollar UnitOfCurrency) Merge.kif 7533-7533 Euro dollar is an instance of unit of currency
(documentation EuroDollar EnglishLanguage "A currency measure of most European Union countries.") Merge.kif 7535-7536 Euro dollar is an instance of unit of currency

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


(currencyType France EuroDollar) Economy.kif 3225-3225 Euro dollar is a currency type of france
(currencyType Germany EuroDollar) Economy.kif 3228-3228 Euro dollar is a currency type of germany
(currencyType Italy EuroDollar) Economy.kif 3231-3231 Euro dollar is a currency type of italy
(currencyType Austria EuroDollar) Economy.kif 3301-3301 Euro dollar is a currency type of austria
(currencyType Belgium EuroDollar) Economy.kif 3329-3329 Euro dollar is a currency type of belgium
(currencyType Cyprus EuroDollar) Economy.kif 3425-3425 Euro dollar is a currency type of cyprus
(currencyType Netherlands EuroDollar) Economy.kif 3433-3433 Euro dollar is a currency type of netherlands
(currencyType Estonia EuroDollar) Economy.kif 3465-3465 Euro dollar is a currency type of estonia
(currencyType Finland EuroDollar) Economy.kif 3477-3477 Euro dollar is a currency type of finland
(currencyType Greece EuroDollar) Economy.kif 3497-3497 Euro dollar is a currency type of greece
(currencyType Ireland EuroDollar) Economy.kif 3557-3557 Euro dollar is a currency type of ireland
(currencyType Latvia EuroDollar) Economy.kif 3601-3601 Euro dollar is a currency type of latvia
(currencyType Lithuania EuroDollar) Economy.kif 3621-3621 Euro dollar is a currency type of lithuania
(currencyType Luxembourg EuroDollar) Economy.kif 3625-3625 Euro dollar is a currency type of luxembourg
(currencyType Malta EuroDollar) Economy.kif 3649-3649 Euro dollar is a currency type of malta
(currencyType Portugal EuroDollar) Economy.kif 3745-3745 Euro dollar is a currency type of portugal
(currencyType Slovakia EuroDollar) Economy.kif 3789-3789 Euro dollar is a currency type of slovakia
(currencyType Slovenia EuroDollar) Economy.kif 3791-3791 Euro dollar is a currency type of slovenia
(currencyType Spain EuroDollar) Economy.kif 3807-3807 Euro dollar is a currency type of spain
(termFormat EnglishLanguage EuroDollar "euro dollar") domainEnglishFormat.kif 22507-22507 Euro dollar is a currency type of spain
(termFormat ChineseTraditionalLanguage EuroDollar "歐元") domainEnglishFormat.kif 22508-22508 Euro dollar is a currency type of spain
(termFormat ChineseLanguage EuroDollar "欧元") domainEnglishFormat.kif 22509-22509 Euro dollar is a currency type of spain

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


(codeMapping ISO_4217_A "EUR" EuroDollar) Media.kif 2249-2249 "EUR" in ISO_4217_A denotes euro dollar

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


(=>
    (and
        (instance ?AREA Nation)
        (currencyType ?AREA EuroDollar))
    (member ?AREA EuropeanMonetaryUnion))		 Government.kif 3221-3225 If X is an instance of nation and euro dollar is a currency type of X, then X is a member of european monetary union

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


(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))		 Government.kif 3215-3219 If X is an instance of nation and X is a member of european monetary union, then euro dollar is a currency type of X