| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3967-3967 | 例 聯合國人類住區中心 and 國際組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3972-3972 | 改善人類住區條件 是 聯合國人類住區中心 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3974-3974 | 促進可持續發展 是 聯合國人類住區中心 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3973-3973 | 減少貧困 是 聯合國人類住區中心 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3966-3966 | 子組織 聯合國人類住區中心 and 聯合國大會 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3969-3969 | 聯合國人類住區中心 是 "UN-HABITAT" 的簡稱 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3968-3968 | 聯合國人類住區中心 是 "United Nations Center for Human Settlements" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3971-3971 | "Habitat" 是對於 聯合國人類住區中心 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3970-3970 | "UNCHS" 是對於 聯合國人類住區中心 的 former name |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60068-60068 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60067-60067 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60066-60066 |
|
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