ArabFundForEconomicAndSocialDevelopment
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | dateEstablished ArabFundForEconomicAndSocialDevelopment and le jour 16 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | ArabFundForEconomicAndSocialDevelopment est une instance de OrganizationOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | organizationalObjective ArabFundForEconomicAndSocialDevelopment and EconomicDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | organizationalObjective ArabFundForEconomicAndSocialDevelopment and SocialDevelopment |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2823-2823 | abbreviation "AFESD" and ArabFundForEconomicAndSocialDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2822-2822 | conventionalLongName "Arab Fund for Economic and Social Development" and ArabFundForEconomicAndSocialDevelopment |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8106-8106 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8105-8105 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8104-8104 |