| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2700-2700 | 政治合作 是 关注的区域 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2836-2836 | 政治合作 是 阿拉伯联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2845-2845 | 政治合作 是 阿拉伯马格里布联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2967-2967 | 政治合作 是 中欧倡议 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2988-2988 | 政治合作 是 独立国家联合体 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2981-2981 | 政治合作 是 国家联合体 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3026-3026 | 政治合作 是 欧洲理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3047-3047 | 政治合作 是 协约理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3158-3158 | 政治合作 是 欧洲大西洋伙伴关系委员会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3178-3178 | 政治合作 是 欧洲共同体 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3257-3257 | 政治合作 是 欧洲联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3343-3343 | 政治合作 是 15人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3279-3279 | 政治合作 是 3人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3317-3317 | 政治合作 是 9人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3368-3368 | 政治合作 是 海湾合作委员会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3378-3378 | 政治合作 是 印度洋委员会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3657-3657 | 政治合作 是 不对齐的运动 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3772-3772 | 政治合作 是 加勒比东部各州的组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3786-3786 | 政治合作 是 组织伊斯兰会议 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3803-3803 | 政治合作 是 太平洋岛屿论坛 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3809-3809 | 政治合作 是 和平伙伴关系 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3829-3829 | 政治合作 是 里约集团 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3941-3941 | 政治合作 是 联合国大会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2702-2702 | 政治发展 是 政治合作 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2701-2701 | 政治一体化 是 政治合作 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46471-46471 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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