|
|
  SocialDevelopment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2710-2710 | SocialDevelopment est une instance de AreaOfConcern |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2759-2759 | organizationalObjective AfricanDevelopmentBank and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | organizationalObjective ArabFundForEconomicAndSocialDevelopment and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2974-2974 | organizationalObjective ColomboPlan and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3027-3027 | organizationalObjective CouncilOfEurope and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3074-3074 | organizationalObjective EconomicAndSocialCouncil and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3387-3387 | organizationalObjective InterAmericanDevelopmentBank and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3625-3625 | organizationalObjective IslamicDevelopmentBank and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3634-3634 | organizationalObjective LatinAmericanEconomicSystem and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3743-3743 | organizationalObjective OrganizationOfAfricanUnity and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3759-3759 | organizationalObjective OrganizationOfAmericanStates and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3875-3875 | organizationalObjective UnitedNations and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3910-3910 | organizationalObjective UnitedNationsDevelopmentProgram and SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2714-2714 | EmigrationAndImmigrationIssues est un sous-attribut de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2711-2711 | GenderEquality est un sous-attribut de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2713-2713 | PromoteSustainableDevelopment est un sous-attribut de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2715-2715 | PublicHealthConcern est un sous-attribut de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2712-2712 | ReducePoverty est un sous-attribut de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2649-2649 | ReducingCrime est un sous-attribut de SocialDevelopment |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53624-53624 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53623-53623 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53622-53622 |
|
|
|