|
|
  NordicInvestmentBank
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3639-3639 | dateEstablished NordicInvestmentBank and le jour 4 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3636-3636 | NordicInvestmentBank est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3640-3640 | organizationalObjective NordicInvestmentBank and EconomicCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3641-3641 | organizationalObjective NordicInvestmentBank and EconomicDevelopment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3638-3638 | abbreviation "NIB" and NordicInvestmentBank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3637-3637 | conventionalLongName "Nordic Investment Bank" and NordicInvestmentBank |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40919-40919 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40918-40918 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40917-40917 |
|
|
|