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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanMonetaryUnion
EuropeanMonetaryUnion

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


(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3176-3176
(instance EuropeanMonetaryUnion OrganizationOfNations) Government.kif 3172-3172
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) Government.kif 3177-3177

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


(abbreviation "EMU" EuropeanMonetaryUnion) Government.kif 3175-3175
(conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) Government.kif 3174-3174
(conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) Government.kif 3173-3173
(member Austria EuropeanMonetaryUnion) Government.kif 3179-3179
(member Belgium EuropeanMonetaryUnion) Government.kif 3180-3180
(member Cyprus EuropeanMonetaryUnion) Government.kif 3181-3181
(member Estonia EuropeanMonetaryUnion) Government.kif 3182-3182
(member Finland EuropeanMonetaryUnion) Government.kif 3183-3183
(member France EuropeanMonetaryUnion) Government.kif 3184-3184
(member Germany EuropeanMonetaryUnion) Government.kif 3185-3185
(member Greece EuropeanMonetaryUnion) Government.kif 3186-3186
(member Ireland EuropeanMonetaryUnion) Government.kif 3187-3187
(member Italy EuropeanMonetaryUnion) Government.kif 3188-3188
(member Latvia EuropeanMonetaryUnion) Government.kif 3189-3189
(member Lithuania EuropeanMonetaryUnion) Government.kif 3190-3190
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3191-3191
(member Malta EuropeanMonetaryUnion) Government.kif 3192-3192
(member Netherlands EuropeanMonetaryUnion) Government.kif 3193-3193
(member Portugal EuropeanMonetaryUnion) Government.kif 3194-3194
(member Slovakia EuropeanMonetaryUnion) Government.kif 3195-3195
(member Slovenia EuropeanMonetaryUnion) Government.kif 3196-3196
(member Spain EuropeanMonetaryUnion) Government.kif 3197-3197
(termFormat ChineseLanguage EuropeanMonetaryUnion "欧洲货币联盟") domainEnglishFormat.kif 22563-22563
(termFormat ChineseTraditionalLanguage EuropeanMonetaryUnion "歐洲貨幣聯盟") domainEnglishFormat.kif 22562-22562
(termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") domainEnglishFormat.kif 22561-22561

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 3203-3207

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


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