|
|
  InternationalDevelopmentAssociation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3489-3489 | dateEstablished InternationalDevelopmentAssociation and le jour 26 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5631-5631 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3486-3486 | InternationalDevelopmentAssociation est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3491-3491 | organizationalObjective InternationalDevelopmentAssociation and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3109-3109 | InternationalDevelopmentAssociation est une partie de l'organization EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3490-3490 | InternationalDevelopmentAssociation est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4320-4320 | InternationalDevelopmentAssociation 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 3488-3488 | abbreviation "IDA" and InternationalDevelopmentAssociation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3487-3487 | conventionalLongName "International Development Association" and InternationalDevelopmentAssociation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30571-30571 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30570-30570 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30569-30569 |
|
|
|
