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


KB Term:  Term intersection
English Word: 

  EuropeanMonetaryUnion

 Sigma KEE - EuropeanMonetaryUnion
EuropeanMonetaryUnion(european monetary union)

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


(instance EuropeanMonetaryUnion OrganizationOfNations) Government.kif 3184-3184 European monetary union is an instance of organization of nations
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))		 Government.kif 3188-3188 The day 7 of month the month February is a date established of european monetary union
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) Government.kif 3189-3189 Monetary union is an organizational objective of european monetary union

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


(conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) Government.kif 3185-3185 European monetary union is a conventional long name of "European Monetary Union"
(conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) Government.kif 3186-3186 European monetary union is a conventional long name of "European Economic and Monetary Union"
(abbreviation "EMU" EuropeanMonetaryUnion) Government.kif 3187-3187 "EMU" is an abbreviation of european monetary union
(member Austria EuropeanMonetaryUnion) Government.kif 3191-3191 Austria is a member of european monetary union
(member Belgium EuropeanMonetaryUnion) Government.kif 3192-3192 Belgium is a member of european monetary union
(member Cyprus EuropeanMonetaryUnion) Government.kif 3193-3193 Cyprus is a member of european monetary union
(member Estonia EuropeanMonetaryUnion) Government.kif 3194-3194 Estonia is a member of european monetary union
(member Finland EuropeanMonetaryUnion) Government.kif 3195-3195 Finland is a member of european monetary union
(member France EuropeanMonetaryUnion) Government.kif 3196-3196 France is a member of european monetary union
(member Germany EuropeanMonetaryUnion) Government.kif 3197-3197 Germany is a member of european monetary union
(member Greece EuropeanMonetaryUnion) Government.kif 3198-3198 Greece is a member of european monetary union
(member Ireland EuropeanMonetaryUnion) Government.kif 3199-3199 Ireland is a member of european monetary union
(member Italy EuropeanMonetaryUnion) Government.kif 3200-3200 Italy is a member of european monetary union
(member Latvia EuropeanMonetaryUnion) Government.kif 3201-3201 Latvia is a member of european monetary union
(member Lithuania EuropeanMonetaryUnion) Government.kif 3202-3202 Lithuania is a member of european monetary union
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3203-3203 Luxembourg is a member of european monetary union
(member Malta EuropeanMonetaryUnion) Government.kif 3204-3204 Malta is a member of european monetary union
(member Netherlands EuropeanMonetaryUnion) Government.kif 3205-3205 Netherlands is a member of european monetary union
(member Portugal EuropeanMonetaryUnion) Government.kif 3206-3206 Portugal is a member of european monetary union
(member Slovakia EuropeanMonetaryUnion) Government.kif 3207-3207 Slovakia is a member of european monetary union
(member Slovenia EuropeanMonetaryUnion) Government.kif 3208-3208 Slovenia is a member of european monetary union
(member Spain EuropeanMonetaryUnion) Government.kif 3209-3209 Spain is a member of european monetary union
(termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") domainEnglishFormat.kif 22567-22567 Spain is a member of european monetary union
(termFormat ChineseTraditionalLanguage EuropeanMonetaryUnion "歐洲貨幣聯盟") domainEnglishFormat.kif 22568-22568 Spain is a member of european monetary union
(termFormat ChineseLanguage EuropeanMonetaryUnion "欧洲货币联盟") domainEnglishFormat.kif 22569-22569 Spain is a member of european monetary union

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (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

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


(=>
    (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