EuropeanMonetaryUnion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | dateEstablished EuropeanMonetaryUnion and o dia 7 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3192-3192 | EuropeanMonetaryUnion e' uma instancia de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3197-3197 | organizationalObjective EuropeanMonetaryUnion and MonetaryUnion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3195-3195 | abbreviation "EMU" and EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3194-3194 | conventionalLongName "European Economic and Monetary Union" and EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3193-3193 | conventionalLongName "European Monetary Union" and EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3199-3199 | Austria e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3200-3200 | Belgium e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3201-3201 | Cyprus e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3202-3202 | Estonia e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3203-3203 | Finland e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3204-3204 | France e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3205-3205 | Germany e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3206-3206 | Greece e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3207-3207 | Ireland e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3208-3208 | Italy e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3209-3209 | Latvia e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3210-3210 | Lithuania e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3211-3211 | Luxembourg e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3212-3212 | Malta e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3213-3213 | Netherlands e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3214-3214 | Portugal e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3215-3215 | Slovakia e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3216-3216 | Slovenia e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3217-3217 | Spain e' membro de EuropeanMonetaryUnion |
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 e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3220-3220 | Sweden e' membro de EuropeanMonetaryUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3221-3221 | UnitedKingdom e' membro de EuropeanMonetaryUnion |