|
|
  EuropeanUnion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | dateEstablished EuropeanUnion and le jour 7 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 419-419 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3251-3251 | EuropeanUnion est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3255-3255 | organizationalObjective EuropeanUnion and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3259-3259 | organizationalObjective EuropeanUnion and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3256-3256 | organizationalObjective EuropeanUnion and MonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3257-3257 | organizationalObjective EuropeanUnion and PoliticalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3258-3258 | organizationalObjective EuropeanUnion and SocialCooperation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3253-3253 | abbreviation "EU" and EuropeanUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3252-3252 | conventionalLongName "European Union" and EuropeanUnion |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3260-3260 | successorOrganization EuropeanCommunity and EuropeanUnion |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22600-22600 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22599-22599 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22598-22598 |
|
|
|
