|
|
  InternationalMonetaryFund
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3567-3567 | dateEstablished InternationalMonetaryFund and o dia 22 |
| 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 | InternationalMonetaryFund e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3569-3569 | organizationalObjective InternationalMonetaryFund and EconomicDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3570-3570 | organizationalObjective InternationalMonetaryFund and MonetaryStability |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3114-3114 | InternationalMonetaryFund e' uma parte da organizacao EconomicAndSocialCouncil |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3568-3568 | InternationalMonetaryFund e' uma parte da organizacao UnitedNations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3566-3566 | abbreviation "IMF" and InternationalMonetaryFund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3565-3565 | conventionalLongName "International Monetary Fund" and InternationalMonetaryFund |
| 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 |
|
|
|
