No TPTP formula. May not be expressible in strict first order. |
Government.kif 4282-4282 |
conventionalLongName "World Bank Group" and WorldBankGroup |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4283-4283 |
InternationalBankForReconstructionAndDevelopment est une partie de l'organization WorldBankGroup |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4284-4284 |
InternationalDevelopmentAssociation est une partie de l'organization WorldBankGroup |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4285-4285 |
InternationalFinanceCorporation est une partie de l'organization WorldBankGroup |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63485-63485 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63484-63484 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63483-63483 |
|