InternationalMonetaryFund
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3567-3567 | dateEstablished InternationalMonetaryFund and le jour 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 est une instance 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 est une partie de l'organization EconomicAndSocialCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3568-3568 | InternationalMonetaryFund est une partie de l'organization 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 |