|
|
  EuropeanFreeTradeAssociation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3183-3183 | dateEstablished EuropeanFreeTradeAssociation and le jour 4 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5991-5991 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6485-6485 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3180-3180 | EuropeanFreeTradeAssociation est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3184-3184 | organizationalObjective EuropeanFreeTradeAssociation and PromotionOfFreeTrade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3182-3182 | abbreviation "EFTA" and EuropeanFreeTradeAssociation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3181-3181 | conventionalLongName "European Free Trade Association" and EuropeanFreeTradeAssociation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22558-22558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22557-22557 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22556-22556 |
|
|
|
