| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | 22 Day 是 联合国发展计划 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3905-3905 | 联合国发展计划 是 国际组织 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3909-3909 | 经济发展 是 联合国发展计划 的 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 3911-3911 | 技术合作 是 联合国发展计划 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3950-3950 | 联合国发展计划 是 联合国大会 Organization 的一部分 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3907-3907 | 联合国发展计划 是 "UNDP" 的简称 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3906-3906 | 联合国发展计划 是 "United Nations Development Program" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60098-60098 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60097-60097 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60096-60096 |
|
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