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 3610-3610 |
17 Day 是 国际电信联盟 的成立 date |
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 3705-3705 |
14 Day 是 经济合作与发展组织 的成立 date |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |