|
|
  ArabFundForEconomicAndSocialDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | dateEstablished ArabFundForEconomicAndSocialDevelopment and o dia 16 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | ArabFundForEconomicAndSocialDevelopment e' uma instancia 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 |
|
|
|