|
|
  EuropeanBankForReconstructionAndDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | dateEstablished EuropeanBankForReconstructionAndDevelopment and o dia 15 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3162-3162 | EuropeanBankForReconstructionAndDevelopment e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3166-3166 | organizationalObjective EuropeanBankForReconstructionAndDevelopment and EconomicDevelopment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3164-3164 | abbreviation "EBRD" and EuropeanBankForReconstructionAndDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3163-3163 | conventionalLongName "European Bank for Reconstruction and Development" and EuropeanBankForReconstructionAndDevelopment |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22540-22540 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22539-22539 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22538-22538 |
|
|
|