| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2590-2590 | 子屬性 過渡政府 and 行政和管理 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2591-2591 | 子屬性 過渡政府 and 促進地區穩定 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4006-4006 | 過渡政府 是 聯合國在科索沃的臨時行政當局 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4012-4012 | 過渡政府 是 聯合國駐黎巴嫩臨時部隊 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4032-4032 | 過渡政府 是 聯合國在西撒哈拉舉行全民投票的使命 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4052-4052 | 過渡政府 是 聯合國在塞拉利昂的使命 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4065-4065 | 過渡政府 是 聯合國塔吉克斯坦觀察員代表團 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4202-4202 | 過渡政府 是 聯合國東帝汶過渡行政當局 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4222-4222 | 過渡政府 是 聯合國託管理事會 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58864-58864 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58863-58863 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58862-58862 |
|
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