|
|
  InternationalFinanceCorporation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3514-3514 | The day 25 is a date established of international finance corporation |
| 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 | International finance corporation is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3522-3522 | Promote private enterprise is an organizational objective of international finance corporation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3110-3110 | International finance corporation is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3515-3515 | International finance corporation is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4321-4321 | International finance corporation is a part of the organization world bank group |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3513-3513 | "IFC" is an abbreviation of international finance corporation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3512-3512 | International finance corporation is a conventional long name of "International Finance Corporation" |
| 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 |
|
|
|