|
|
  EuropeanFreeTradeAssociation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3147-3147 | 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 3144-3144 | EuropeanFreeTradeAssociation est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3148-3148 | organizationalObjective EuropeanFreeTradeAssociation and PromotionOfFreeTrade |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3146-3146 | abbreviation "EFTA" and EuropeanFreeTradeAssociation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3145-3145 | 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 |
|
|
|
