EuropeanMonetaryUnion(european monetary union) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | The day 7 is a date established of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3192-3192 | European monetary union is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3197-3197 | Monetary union is an organizational objective of european monetary union |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3195-3195 | "EMU" is an abbreviation of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3194-3194 | European monetary union is a conventional long name of "European Economic and Monetary Union" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3193-3193 | European monetary union is a conventional long name of "European Monetary Union" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3199-3199 | Austria is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3200-3200 | Belgium is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3201-3201 | Cyprus is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3202-3202 | Estonia is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3203-3203 | Finland is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3204-3204 | France is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3205-3205 | Germany is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3206-3206 | Greece is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3207-3207 | Ireland is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3208-3208 | Italy is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3209-3209 | Latvia is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3210-3210 | Lithuania is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3211-3211 | Luxembourg is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3212-3212 | Malta is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3213-3213 | Netherlands is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3214-3214 | Portugal is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3215-3215 | Slovakia is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3216-3216 | Slovenia is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3217-3217 | Spain is a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22570-22570 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22569-22569 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22568-22568 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3223-3227 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3229-3233 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3219-3219 | Denmark is not a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3220-3220 | Sweden is not a member of european monetary union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3221-3221 | United kingdom is not a member of european monetary union |