|
|
  EuropeanInvestmentBank
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3153-3153 | dateEstablished EuropeanInvestmentBank and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3150-3150 | EuropeanInvestmentBank est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3154-3154 | organizationalObjective EuropeanInvestmentBank and EconomicDevelopment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3152-3152 | abbreviation "EIB" and EuropeanInvestmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3151-3151 | conventionalLongName "European Investment Bank" and EuropeanInvestmentBank |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22564-22564 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22563-22563 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22562-22562 |
|
|
|