| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2674-2674 | 例 社會發展 and 關注的區域 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2723-2723 | 社會發展 是 非洲開發銀行 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2790-2790 | 社會發展 是 阿拉伯經濟和社會發展基金 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2938-2938 | 社會發展 是 科倫坡計劃 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2991-2991 | 社會發展 是 歐洲理事會 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3038-3038 | 社會發展 是 經濟和社會理事會 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3351-3351 | 社會發展 是 美洲開發銀行 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3589-3589 | 社會發展 是 伊斯蘭開發銀行 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3598-3598 | 社會發展 是 拉丁美洲經濟體系 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3707-3707 | 社會發展 是 非洲統一組織 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3723-3723 | 社會發展 是 美國各州的組織 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3839-3839 | 社會發展 是 聯合國 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3874-3874 | 社會發展 是 聯合國發展計劃 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2678-2678 | 子屬性 移民和移民問題 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2675-2675 | 子屬性 性別平等 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2677-2677 | 子屬性 促進可持續發展 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2679-2679 | 子屬性 公共衛生問題 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2676-2676 | 子屬性 減少貧困 and 社會發展 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2613-2613 | 子屬性 減少犯罪 and 社會發展 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners