| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2598-2600 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2593-2593 | 组织目标 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2594-2594 | 组织目标 的 2 数量 是 关注的区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2592-2592 | 组织目标 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2595-2595 | 组织目标 是 属于 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1859-1859 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1858-1858 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1857-1857 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42498-42498 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42497-42497 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42496-42496 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2614-2618 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2371-2377 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2602-2606 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2602-2606 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2879-2879 | 区域安全 是 东盟区域论坛 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2751-2751 | 经济合作 是 非洲加勒比和太平洋国家集团 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2758-2758 | 经济发展 是 非洲开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2759-2759 | 社会发展 是 非洲开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | 核不扩散 是 在拉丁美洲和加勒比地区禁止核武器的机构 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2780-2780 | 和平利用原子能 是 在拉丁美洲和加勒比地区禁止核武器的机构 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | 经济一体化 是 安第斯国际社会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2802-2802 | 行政和管理 是 南极条约理事会 的 organizational 目标 |
| 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 2813-2813 | 经济发展 是 阿拉伯非洲经济发展银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2819-2819 | 经济一体化 是 阿拉伯合作理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2825-2825 | 经济发展 是 阿拉伯经济和社会发展基金 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | 社会发展 是 阿拉伯经济和社会发展基金 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2834-2834 | 经济合作 是 阿拉伯联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2837-2837 | 军事合作 是 阿拉伯联盟 的 organizational 目标 |
| 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 2835-2835 | 社会合作 是 阿拉伯联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2844-2844 | 文化合作 是 阿拉伯马格里布联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2843-2843 | 经济一体化 是 阿拉伯马格里布联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2846-2846 | 军事合作 是 阿拉伯马格里布联盟 的 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 2852-2852 | 经济合作 是 阿拉伯货币基金 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2858-2858 | 促进贸易和投资 是 亚太经济合作 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2864-2864 | 经济合作 是 亚洲开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2872-2872 | 文化合作 是 东南亚国家联盟 的 organizational 目标 |
| 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