|
|
  ArabFundForEconomicAndSocialDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | The day 16 is a date established of arab fund for economic and social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2821-2821 | Arab fund for economic and social development is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | Economic development is an organizational objective of arab fund for economic and social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | Social development is an organizational objective of arab fund for economic and social development |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2823-2823 | "AFESD" is an abbreviation of arab fund for economic and social development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2822-2822 | Arab fund for economic and social development is a conventional long name of "Arab Fund for Economic and Social Development" |
| 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 |
|
|
|