|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3394-3394 | 21 Day 是 政府间发展权威 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3407-3407 | 26 Day 是 国际原子能机构 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3414-3414 | 22 Day 是 国际重建和发展银行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3421-3421 | 1919 Year 是 国际商会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3429-3429 | 7 Day 是 国际民航组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3437-3437 | 17 Day 是 红十字国际委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3443-3443 | 十二月 month 是 国际自由工会联合会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | 3 Day 是 国际法院 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3478-3478 | 13 Day 是 国际刑事警察组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4214-4214 | 8 Day 是 卢旺达国际刑事法庭 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4207-4207 | 25 Day 是 前南斯拉夫问题国际刑事法庭 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3489-3489 | 26 Day 是 国际发展协会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3496-3496 | 15 Day 是 国际能源机构 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3508-3508 | 5 Day 是 国际红十字会和红新月会联合会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3514-3514 | 25 Day 是 国际金融公司 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3527-3527 | 十一月 month 是 国际农业发展基金 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3535-3535 | 六月 month 是 国际水文组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3542-3542 | 28 Day 是 国际劳工组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | 6 Day 是 国际海事组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3567-3567 | 22 Day 是 国际货币基金组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3575-3575 | 23 Day 是 国际奥林匹克委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3587-3587 | 5 Day 是 国际移民组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3593-3593 | 二月 month 是 国际标准化组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3600-3600 | 1928 Year 是 国际红十字和红新月运动 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3610-3610 | 17 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