|
| 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 3834-3834 | 8 Day 是 南亚区域合作协会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3848-3848 | 11 Day 是 南部非洲关税同盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3857-3857 | 17 Day 是 南部非洲发展社区 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3866-3866 | 26 Day 是 南锥共同市场 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3872-3872 | 26 Day 是 联合国 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3890-3890 | 11 Day 是 联合国儿童基金会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3896-3896 | 28 Day 是 联合国海地民警特派团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3902-3902 | 30 Day 是 联合国贸易与发展会议 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3908-3908 | 22 Day 是 联合国发展计划 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3916-3916 | 31 Day 是 联合国脱离接触观察员部队 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3926-3926 | 16 Day 是 联合国教育科学文化组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3934-3934 | 15 Day 是 联合国环境计划 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3940-3940 | 26 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