|
|
  InternationalMonetaryFund
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3567-3567 | The day 22 is a date established of international monetary fund |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5634-5634 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3564-3564 | International monetary fund is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3569-3569 | Economic development is an organizational objective of international monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3570-3570 | Monetary stability is an organizational objective of international monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3114-3114 | International monetary fund is a part of the organization economic and social council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3568-3568 | International monetary fund is a part of the organization united nations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3566-3566 | "IMF" is an abbreviation of international monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3565-3565 | International monetary fund is a conventional long name of "International Monetary Fund" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30643-30643 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30642-30642 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30641-30641 |
|
|
|
