|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4087-4087 | 22 Day 是 联合国在塞拉利昂的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4094-4094 | 1 Day 是 联合国普雷斯卡观察员代表团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4100-4100 | 16 Day 是 联合国塔吉克斯坦观察员代表团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4107-4107 | 1999 Year 是 联合国监测和核查委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4116-4116 | 24 Day 是 联合国驻格鲁吉亚观察团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4123-4123 | 30 Day 是 联合国组织在刚果民主共和国的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4129-4129 | 4 Day 是 联合国塞浦路斯维和部队 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4136-4136 | 七月 month 是 联合国人口基金 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4143-4143 | 31 Day 是 联合国预防性部署部队 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4150-4150 | 8 Day 是 联合国近东巴勒斯坦难民救济和工作机构 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4156-4156 | 1963 Year 是 联合国社会发展研究所 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4169-4169 | 26 Day 是 联合国秘书处 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4180-4180 | 26 Day 是 联合国安理会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4237-4237 | 25 Day 是 联合国东帝汶过渡行政当局 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4244-4244 | 六月 month 是 联合国停战监督组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4257-4257 | 26 Day 是 联合国托管理事会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4263-4263 | 3 Day 是 联合国大学 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | 9 Day 是 全球邮政联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4284-4284 | 14 Day 是 华沙协议 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4290-4290 | 12 Day 是 wassenaar安排 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4298-4298 | 14 Day 是 西非开发银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4307-4307 | 1 Day 是 西非经济和货币联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4313-4313 | 23 Day 是 西欧联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4326-4326 | 19 Day 是 世界劳工联合会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3055-3055 | 15 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