|
| 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 2871-2871 | 社会合作 是 东南亚国家联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2884-2884 | CBW出口管制 是 澳大利亚集团 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2890-2890 | 共同防御协定 是 澳大利亚新西兰美国安全条约 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2896-2896 | 金融合作 是 国际结算银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2902-2902 | 经济一体化 是 比荷卢经济联盟 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2910-2910 | 经济政策协调 是 大七 的 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 2922-2922 | 促进地区稳定 是 黑海经济合作区 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2930-2930 | 经济发展 是 加勒比共同体和共同市场 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2929-2929 | 经济一体化 是 加勒比共同体和共同市场 的 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 2936-2936 | 经济发展 是 加勒比开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2944-2944 | 经济发展 是 中非国家开发银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2952-2952 | 经济发展 是 中美洲经济一体化银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2951-2951 | 经济一体化 是 中美洲经济一体化银行 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2958-2958 | 经济一体化 是 中美洲共同市场 的 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 2967-2967 | 政治合作 是 中欧倡议 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2973-2973 | 经济发展 是 科伦坡计划 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2974-2974 | 社会发展 是 科伦坡计划 的 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 2982-2982 | 经济合作 是 国家联合体 的 organizational 目标 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2981-2981 | 政治合作 是 国家联合体 的 organizational 目标 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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