|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4020-4020 | 3 Day 是 联合国难民署 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4027-4027 | 17 Day 是 联合国工业发展组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4034-4034 | 11 Day 是 联合国训练研究所 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4040-4040 | 10 Day 是 联合国在科索沃的临时行政当局 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4047-4047 | 19 Day 是 联合国驻黎巴嫩临时部队 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3994-3994 | 29 Day 是 联合国区域间犯罪和司法研究所 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4054-4054 | 9 Day 是 联合国伊拉克科威特观察团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4060-4060 | 24 Day 是 联合国驻印度和巴基斯坦军事观察组 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4066-4066 | 29 Day 是 联合国在西撒哈拉举行全民投票的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4073-4073 | 21 Day 是 联合国在波黑和黑塞哥维那的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4081-4081 | 31 Day 是 联合国在埃塞俄比亚和厄立特里亚的使命 的成立 date |
| 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 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 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 |
| 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