|
|
  InternationalFinanceCorporation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3514-3514 | dateEstablished InternationalFinanceCorporation and le jour 25 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3517-3519 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3511-3511 | InternationalFinanceCorporation est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3522-3522 | organizationalObjective InternationalFinanceCorporation and PromotePrivateEnterprise |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3110-3110 | InternationalFinanceCorporation est une partie de l'organization EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | InternationalFinanceCorporation est une partie de l'organization UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4321-4321 | InternationalFinanceCorporation 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 3513-3513 | abbreviation "IFC" and InternationalFinanceCorporation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3512-3512 | conventionalLongName "International Finance Corporation" and InternationalFinanceCorporation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30595-30595 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30594-30594 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30593-30593 |
|
|
|