No TPTP formula. May not be expressible in strict first order. |
Government.kif 3239-3239 |
1 Day 是 欧洲核研究组织 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3247-3247 |
31 Day 是 欧洲航太局 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3254-3254 |
7 Day 是 欧洲联盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3265-3265 |
16 Day 是 粮食及农业组织 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3323-3323 |
十月 month 是 10人小组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3335-3335 |
22 Day 是 11人小组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3341-3341 |
九月 month 是 15人小组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3351-3351 |
1 Day 是 24人小组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3278-3278 |
九月 month 是 3人小组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3284-3284 |
22 Day 是 5人组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3291-3291 |
22 Day 是 6人组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3301-3301 |
22 Day 是 7人小组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3361-3361 |
15 Day 是 77人小组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3307-3307 |
十月 month 是 8人小组 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3367-3367 |
25 Day 是 海湾合作委员会 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3376-3376 |
21 Day 是 印度洋委员会 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3385-3385 |
8 Day 是 美洲开发银行 的成立 date |
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 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 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |