|
|
  SocialDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2674-2674 | SocialDevelopment e' uma instancia de AreaOfConcern |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2723-2723 | organizationalObjective AfricanDevelopmentBank and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2790-2790 | organizationalObjective ArabFundForEconomicAndSocialDevelopment and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2938-2938 | organizationalObjective ColomboPlan and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2991-2991 | organizationalObjective CouncilOfEurope and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3038-3038 | organizationalObjective EconomicAndSocialCouncil and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3351-3351 | organizationalObjective InterAmericanDevelopmentBank and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3589-3589 | organizationalObjective IslamicDevelopmentBank and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3598-3598 | organizationalObjective LatinAmericanEconomicSystem and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3707-3707 | organizationalObjective OrganizationOfAfricanUnity and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3723-3723 | organizationalObjective OrganizationOfAmericanStates and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3839-3839 | organizationalObjective UnitedNations and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3874-3874 | organizationalObjective UnitedNationsDevelopmentProgram and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2678-2678 | EmigrationAndImmigrationIssues e' um sub-atributo de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2675-2675 | GenderEquality e' um sub-atributo de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2677-2677 | PromoteSustainableDevelopment e' um sub-atributo de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2679-2679 | PublicHealthConcern e' um sub-atributo de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2676-2676 | ReducePoverty e' um sub-atributo de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2613-2613 | ReducingCrime e' um sub-atributo de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53626-53626 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53625-53625 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53624-53624 |
|
|
|