|
|
  primaryGeopoliticalSubdivisionType
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | The day 25 is a date established of international finance corporation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3481-3483 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3475-3475 | International finance corporation is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3486-3486 | Promote private enterprise is an organizational objective of international finance corporation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3074-3074 | 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 3479-3479 | International finance corporation is a part of the organization united nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4285-4285 | 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 3477-3477 | "IFC" is an abbreviation of international finance corporation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3476-3476 | 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 |
|
|
|