| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2759-2759 |
社会发展 是 非洲开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2826-2826 |
社会发展 是 阿拉伯经济和社会发展基金 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2974-2974 |
社会发展 是 科伦坡计划 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3027-3027 |
社会发展 是 欧洲理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3074-3074 |
社会发展 是 经济和社会理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3387-3387 |
社会发展 是 美洲开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3625-3625 |
社会发展 是 伊斯兰开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3634-3634 |
社会发展 是 拉丁美洲经济体系 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3743-3743 |
社会发展 是 非洲统一组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3759-3759 |
社会发展 是 美国各州的组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3875-3875 |
社会发展 是 联合国 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3910-3910 |
社会发展 是 联合国发展计划 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2714-2714 |
移民和移民问题 是 社会发展 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2711-2711 |
性别平等 是 社会发展 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2713-2713 |
促进可持续发展 是 社会发展 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2715-2715 |
公共卫生问题 是 社会发展 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2712-2712 |
减少贫困 是 社会发展 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2649-2649 |
减少犯罪 是 社会发展 的 subAttribute |
| 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 |
|
SocialDevelopment