|
|
  EuropeanInvestmentBank
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3189-3189 | dateEstablished EuropeanInvestmentBank and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3186-3186 | EuropeanInvestmentBank est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3190-3190 | organizationalObjective EuropeanInvestmentBank and EconomicDevelopment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3188-3188 | abbreviation "EIB" and EuropeanInvestmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3187-3187 | 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 |
|
|
|