|
|
  InternationalFinanceCorporation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3514-3514 | dateEstablished InternationalFinanceCorporation and o dia 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 e' uma instancia 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 e' uma parte da organizacao EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | InternationalFinanceCorporation e' uma parte da organizacao UnitedNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4321-4321 | InternationalFinanceCorporation e' uma parte da organizacao 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 |
|
|
|