| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2655-2655 | 经济合作 是 跨国问题 的 instance |
| appearance as argument number 2 |
|
|
| 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 2834-2834 | 经济合作 是 阿拉伯联盟 的 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 2864-2864 | 经济合作 是 亚洲开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2870-2870 | 经济合作 是 东南亚国家联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2916-2916 | 经济合作 是 大六 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2923-2923 | 经济合作 是 黑海经济合作区 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2937-2937 | 经济合作 是 加勒比开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2966-2966 | 经济合作 是 中欧倡议 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2982-2982 | 经济合作 是 国家联合体 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3046-3046 | 经济合作 是 协约理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3141-3141 | 经济合作 是 西非国家的经济共同体 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3147-3147 | 经济合作 是 经济合作组织 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3336-3336 | 经济合作 是 11人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3342-3342 | 经济合作 是 15人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3352-3352 | 经济合作 是 24人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3285-3285 | 经济合作 是 5人组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3302-3302 | 经济合作 是 7人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3362-3362 | 经济合作 是 77人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3308-3308 | 经济合作 是 8人小组 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3369-3369 | 经济合作 是 海湾合作委员会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3377-3377 | 经济合作 是 印度洋委员会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3396-3396 | 经济合作 是 政府间发展权威 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3668-3668 | 经济合作 是 北欧理事会 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3676-3676 | 经济合作 是 北欧投资银行 的 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