|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3146-3146 | 一月 month 是 经济合作组织 的成立 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 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | 7 Day 是 欧洲联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3265-3265 | 16 Day 是 粮食及农业组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3272-3272 | 1964 Year 是 法郎区 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3323-3323 | 十月 month 是 10人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3335-3335 | 22 Day 是 11人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3341-3341 | 九月 month 是 15人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3351-3351 | 1 Day 是 24人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3278-3278 | 九月 month 是 3人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3284-3284 | 22 Day 是 5人组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3291-3291 | 22 Day 是 6人组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3301-3301 | 22 Day 是 7人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3361-3361 | 15 Day 是 77人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3307-3307 | 十月 month 是 8人小组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3367-3367 | 25 Day 是 海湾合作委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3376-3376 | 21 Day 是 印度洋委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3385-3385 | 8 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