|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3623-3623 | 15 Day 是 伊斯兰开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3632-3632 | 17 Day 是 拉丁美洲经济体系 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3641-3641 | 12 Day 是 拉丁美洲一体化协会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3650-3650 | 8 Day 是 中非货币和经济共同体 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3656-3656 | 6 Day 是 不对齐的运动 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3667-3667 | 16 Day 是 北欧理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | 4 Day 是 北欧投资银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3683-3683 | 4 Day 是 北大西洋条约组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | 1 Day 是 核能机构 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3699-3699 | 1974 Year 是 核供应国集团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3705-3705 | 14 Day 是 经济合作与发展组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3714-3714 | 1 Day 是 欧洲安全与合作组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3728-3728 | 29 Day 是 禁止化学武器组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3735-3735 | 25 Day 是 非洲统一组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3752-3752 | 14 Day 是 美国各州的组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3765-3765 | 9 Day 是 阿拉伯石油出口国组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3771-3771 | 18 Day 是 加勒比东部各州的组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3779-3779 | 14 Day 是 石油输出国组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3785-3785 | 九月 month 是 组织伊斯兰会议 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | 6 Day 是 太平洋社区 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3802-3802 | 5 Day 是 太平洋岛屿论坛 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3808-3808 | 11 Day 是 和平伙伴关系 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3817-3817 | 29 Day 是 常设仲裁法院 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3824-3824 | 1986 Year 是 里约集团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3834-3834 | 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