|
|
  EuropeanCommunity
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | dateEstablished EuropeanCommunity and le jour 8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3170-3171 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6484-6484 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5990-5990 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3168-3168 | EuropeanCommunity est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3177-3177 | organizationalObjective EuropeanCommunity and EconomicIntegration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3178-3178 | organizationalObjective EuropeanCommunity and PoliticalCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3260-3260 | successorOrganization EuropeanCommunity and EuropeanUnion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3175-3175 | abbreviation "EC" and EuropeanCommunity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3174-3174 | conventionalLongName "European Communities" and EuropeanCommunity |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3173-3173 | conventionalLongName "European Community" and EuropeanCommunity |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22552-22552 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22551-22551 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22550-22550 |
|
|
|
