|
|
  InternationalBankForReconstructionAndDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3378-3378 | dateEstablished InternationalBankForReconstructionAndDevelopment and le jour 22 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5626-5626 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3374-3374 | InternationalBankForReconstructionAndDevelopment est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3379-3379 | organizationalObjective InternationalBankForReconstructionAndDevelopment and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3069-3069 | InternationalBankForReconstructionAndDevelopment est une partie de l'organization EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3380-3380 | InternationalBankForReconstructionAndDevelopment est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4283-4283 | InternationalBankForReconstructionAndDevelopment est une partie de l'organization WorldBankGroup |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3377-3377 | abbreviation "IBRD" and InternationalBankForReconstructionAndDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3375-3375 | conventionalLongName "International Bank for Reconstruction and Development" and InternationalBankForReconstructionAndDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3376-3376 | conventionalShortName "World Bank" and InternationalBankForReconstructionAndDevelopment |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30505-30505 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30504-30504 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30503-30503 |
|
|
|
