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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanMonetaryUnion
EuropeanMonetaryUnion(european monetary union)european_monetary_union

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


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

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


(abbreviation "EMU" EuropeanMonetaryUnion) Government.kif 3132-3132 "EMU" is an abbreviation of european monetary union
(conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) Government.kif 3131-3131 European monetary union is a conventional long name of "European Economic and Monetary Union"
(conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) Government.kif 3130-3130 European monetary union is a conventional long name of "European Monetary Union"
(member Austria EuropeanMonetaryUnion) Government.kif 3136-3136 Austria is a member of european monetary union
(member Belgium EuropeanMonetaryUnion) Government.kif 3137-3137 Belgium is a member of european monetary union
(member Cyprus EuropeanMonetaryUnion) Government.kif 3138-3138 Cyprus is a member of european monetary union
(member Estonia EuropeanMonetaryUnion) Government.kif 3139-3139 Estonia is a member of european monetary union
(member Finland EuropeanMonetaryUnion) Government.kif 3140-3140 Finland is a member of european monetary union
(member France EuropeanMonetaryUnion) Government.kif 3141-3141 France is a member of european monetary union
(member Germany EuropeanMonetaryUnion) Government.kif 3142-3142 Germany is a member of european monetary union
(member Greece EuropeanMonetaryUnion) Government.kif 3143-3143 Greece is a member of european monetary union
(member Ireland EuropeanMonetaryUnion) Government.kif 3144-3144 Ireland is a member of european monetary union
(member Italy EuropeanMonetaryUnion) Government.kif 3145-3145 Italy is a member of european monetary union
(member Latvia EuropeanMonetaryUnion) Government.kif 3146-3146 Latvia is a member of european monetary union
(member Lithuania EuropeanMonetaryUnion) Government.kif 3147-3147 Lithuania is a member of european monetary union
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3148-3148 Luxembourg is a member of european monetary union
(member Malta EuropeanMonetaryUnion) Government.kif 3149-3149 Malta is a member of european monetary union
(member Netherlands EuropeanMonetaryUnion) Government.kif 3150-3150 Netherlands is a member of european monetary union
(member Portugal EuropeanMonetaryUnion) Government.kif 3151-3151 Portugal is a member of european monetary union
(member Slovakia EuropeanMonetaryUnion) Government.kif 3152-3152 Slovakia is a member of european monetary union
(member Slovenia EuropeanMonetaryUnion) Government.kif 3153-3153 Slovenia is a member of european monetary union
(member Spain EuropeanMonetaryUnion) Government.kif 3154-3154 Spain is a member of european monetary union
(termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") domainEnglishFormat.kif 4183-4183 "european monetary union" is the printable form of european monetary union in english language

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


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

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


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