| 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 |
子屬性 移民和移民問題 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2711-2711 |
子屬性 性別平等 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2713-2713 |
子屬性 促進可持續發展 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2715-2715 |
子屬性 公共衛生問題 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2712-2712 |
子屬性 減少貧困 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2649-2649 |
子屬性 減少犯罪 and 社會發展 |
| 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