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 3157-3157 dateEstablished EuropeanMonetaryUnion and 7 day
(instance EuropeanMonetaryUnion OrganizationOfNations) Government.kif 3153-3153 EuropeanMonetaryUnionOrganizationOfNationsinstance では
(organizationalObjective EuropeanMonetaryUnion MonetaryUnion) Government.kif 3158-3158 organizationalObjective EuropeanMonetaryUnion and MonetaryUnion

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


(abbreviation "EMU" EuropeanMonetaryUnion) Government.kif 3156-3156 abbreviation "EMU" and EuropeanMonetaryUnion
(conventionalLongName "European Economic and Monetary Union" EuropeanMonetaryUnion) Government.kif 3155-3155 conventionalLongName "European Economic and Monetary Union" and EuropeanMonetaryUnion
(conventionalLongName "European Monetary Union" EuropeanMonetaryUnion) Government.kif 3154-3154 conventionalLongName "European Monetary Union" and EuropeanMonetaryUnion
(member Austria EuropeanMonetaryUnion) Government.kif 3160-3160 AustriaEuropeanMonetaryUnionmember では
(member Belgium EuropeanMonetaryUnion) Government.kif 3161-3161 BelgiumEuropeanMonetaryUnionmember では
(member Cyprus EuropeanMonetaryUnion) Government.kif 3162-3162 CyprusEuropeanMonetaryUnionmember では
(member Estonia EuropeanMonetaryUnion) Government.kif 3163-3163 EstoniaEuropeanMonetaryUnionmember では
(member Finland EuropeanMonetaryUnion) Government.kif 3164-3164 FinlandEuropeanMonetaryUnionmember では
(member France EuropeanMonetaryUnion) Government.kif 3165-3165 FranceEuropeanMonetaryUnionmember では
(member Germany EuropeanMonetaryUnion) Government.kif 3166-3166 GermanyEuropeanMonetaryUnionmember では
(member Greece EuropeanMonetaryUnion) Government.kif 3167-3167 GreeceEuropeanMonetaryUnionmember では
(member Ireland EuropeanMonetaryUnion) Government.kif 3168-3168 IrelandEuropeanMonetaryUnionmember では
(member Italy EuropeanMonetaryUnion) Government.kif 3169-3169 ItalyEuropeanMonetaryUnionmember では
(member Latvia EuropeanMonetaryUnion) Government.kif 3170-3170 LatviaEuropeanMonetaryUnionmember では
(member Lithuania EuropeanMonetaryUnion) Government.kif 3171-3171 LithuaniaEuropeanMonetaryUnionmember では
(member Luxembourg EuropeanMonetaryUnion) Government.kif 3172-3172 LuxembourgEuropeanMonetaryUnionmember では
(member Malta EuropeanMonetaryUnion) Government.kif 3173-3173 MaltaEuropeanMonetaryUnionmember では
(member Netherlands EuropeanMonetaryUnion) Government.kif 3174-3174 NetherlandsEuropeanMonetaryUnionmember では
(member Portugal EuropeanMonetaryUnion) Government.kif 3175-3175 PortugalEuropeanMonetaryUnionmember では
(member Slovakia EuropeanMonetaryUnion) Government.kif 3176-3176 SlovakiaEuropeanMonetaryUnionmember では
(member Slovenia EuropeanMonetaryUnion) Government.kif 3177-3177 SloveniaEuropeanMonetaryUnionmember では
(member Spain EuropeanMonetaryUnion) Government.kif 3178-3178 SpainEuropeanMonetaryUnionmember では
(termFormat ChineseLanguage EuropeanMonetaryUnion "欧洲货币联盟") domainEnglishFormat.kif 22576-22576 SpainEuropeanMonetaryUnionmember では
(termFormat ChineseTraditionalLanguage EuropeanMonetaryUnion "歐洲貨幣聯盟") domainEnglishFormat.kif 22575-22575 SpainEuropeanMonetaryUnionmember では
(termFormat EnglishLanguage EuropeanMonetaryUnion "european monetary union") domainEnglishFormat.kif 22574-22574 SpainEuropeanMonetaryUnionmember では

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 3184-3188

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


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