|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2928-2928 | 4 Day 是 加勒比共同体和共同市场 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2935-2935 | 18 Day 是 加勒比开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2943-2943 | 3 Day 是 中非国家开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2950-2950 | 13 Day 是 中美洲经济一体化银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2957-2957 | 13 Day 是 中美洲共同市场 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2965-2965 | 11 Day 是 中欧倡议 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2987-2987 | 8 Day 是 独立国家联合体 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2980-2980 | 31 Day 是 国家联合体 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3008-3008 | 25 Day 是 共同经济援助理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3014-3014 | 3 Day 是 阿拉伯经济统一委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3025-3025 | 5 Day 是 欧洲理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3035-3035 | 6 Day 是 波罗的海国家理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3045-3045 | 29 Day 是 协约理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3060-3060 | 6 Day 是 东非开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3066-3066 | 26 Day 是 经济和社会理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3134-3134 | 20 Day 是 大湖国家的经济共同体 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3140-3140 | 28 Day 是 西非国家的经济共同体 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3157-3157 | 8 Day 是 欧洲大西洋伙伴关系委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3165-3165 | 15 Day 是 欧洲重建和发展银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3176-3176 | 8 Day 是 欧洲共同体 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3183-3183 | 4 Day 是 欧洲自由贸易协会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3189-3189 | 25 Day 是 欧洲投资银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | 7 Day 是 欧洲货币联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3239-3239 | 1 Day 是 欧洲核研究组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3247-3247 | 31 Day 是 欧洲航太局 的成立 date |
| 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