| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2624-2624 | 促进地区稳定 是 跨国问题 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2803-2803 | 促进地区稳定 是 南极条约理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2922-2922 | 促进地区稳定 是 黑海经济合作区 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3029-3029 | 促进地区稳定 是 欧洲理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3722-3722 | 促进地区稳定 是 欧洲安全与合作组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3760-3760 | 促进地区稳定 是 美国各州的组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3811-3811 | 促进地区稳定 是 和平伙伴关系 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2631-2631 | 观察和监测 和 促进地区稳定 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2629-2629 | 移民和移民问题 是 促进地区稳定 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2628-2628 | 维和行动 是 促进地区稳定 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2627-2627 | 过渡政府 是 促进地区稳定 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47720-47720 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47719-47719 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47718-47718 |
|
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