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 3127-3127 dateEstablished EuropeanMonetaryUnion and DayFn 7 and MonthFn February and YearFn 1992
(instance EuropeanMonetaryUnion OrganizationOfNations) Government.kif 3123-3123 instance EuropeanMonetaryUnion and OrganizationOfNations
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) Government.kif 3128-3128 organizationalObjective EuropeanMonetaryUnion and MonetaryUnion

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


(abbreviation "EMU" EuropeanMonetaryUnion) Government.kif 3126-3126 abbreviation "EMU" and EuropeanMonetaryUnion
(conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) Government.kif 3125-3125 conventionalLongName "European Economic and Monetary Union" and EuropeanMonetaryUnion
(conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) Government.kif 3124-3124 conventionalLongName "European Monetary Union" and EuropeanMonetaryUnion
(member Austria EuropeanMonetaryUnion) Government.kif 3130-3130 member Austria and EuropeanMonetaryUnion
(member Belgium EuropeanMonetaryUnion) Government.kif 3131-3131 member Belgium and EuropeanMonetaryUnion
(member Cyprus EuropeanMonetaryUnion) Government.kif 3132-3132 member Cyprus and EuropeanMonetaryUnion
(member Estonia EuropeanMonetaryUnion) Government.kif 3133-3133 member Estonia and EuropeanMonetaryUnion
(member Finland EuropeanMonetaryUnion) Government.kif 3134-3134 member Finland and EuropeanMonetaryUnion
(member France EuropeanMonetaryUnion) Government.kif 3135-3135 member France and EuropeanMonetaryUnion
(member Germany EuropeanMonetaryUnion) Government.kif 3136-3136 member Germany and EuropeanMonetaryUnion
(member Greece EuropeanMonetaryUnion) Government.kif 3137-3137 member Greece and EuropeanMonetaryUnion
(member Ireland EuropeanMonetaryUnion) Government.kif 3138-3138 member Ireland and EuropeanMonetaryUnion
(member Italy EuropeanMonetaryUnion) Government.kif 3139-3139 member Italy and EuropeanMonetaryUnion
(member Latvia EuropeanMonetaryUnion) Government.kif 3140-3140 member Latvia and EuropeanMonetaryUnion
(member Lithuania EuropeanMonetaryUnion) Government.kif 3141-3141 member Lithuania and EuropeanMonetaryUnion
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3142-3142 member Luxembourg and EuropeanMonetaryUnion
(member Malta EuropeanMonetaryUnion) Government.kif 3143-3143 member Malta and EuropeanMonetaryUnion
(member Netherlands EuropeanMonetaryUnion) Government.kif 3144-3144 member Netherlands and EuropeanMonetaryUnion
(member Portugal EuropeanMonetaryUnion) Government.kif 3145-3145 member Portugal and EuropeanMonetaryUnion
(member Slovakia EuropeanMonetaryUnion) Government.kif 3146-3146 member Slovakia and EuropeanMonetaryUnion
(member Slovenia EuropeanMonetaryUnion) Government.kif 3147-3147 member Slovenia and EuropeanMonetaryUnion
(member Spain EuropeanMonetaryUnion) Government.kif 3148-3148 member Spain and EuropeanMonetaryUnion
(termFormat ChineseLanguage EuropeanMonetaryUnion "欧洲货币联盟") domainEnglishFormat.kif 22495-22495
(termFormat ChineseTraditionalLanguage EuropeanMonetaryUnion "歐洲貨幣聯盟") domainEnglishFormat.kif 22494-22494
(termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") domainEnglishFormat.kif 22493-22493

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 3154-3158

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


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