No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3192-3192 |
1 Day 是 南极条约 的 agreement 采用日期 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2863-2863 |
19 Day 是 亚洲开发银行 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2943-2943 |
3 Day 是 中非国家开发银行 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2950-2950 |
13 Day 是 中美洲经济一体化银行 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2957-2957 |
13 Day 是 中美洲共同市场 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2987-2987 |
8 Day 是 独立国家联合体 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2980-2980 |
31 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 3429-3429 |
7 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 3623-3623 |
15 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 3675-3675 |
4 Day 是 北欧投资银行 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3705-3705 |
14 Day 是 经济合作与发展组织 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3834-3834 |
8 Day 是 南亚区域合作协会 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3848-3848 |
11 Day 是 南部非洲关税同盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3890-3890 |
11 Day 是 联合国儿童基金会 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3902-3902 |
30 Day 是 联合国贸易与发展会议 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3934-3934 |
15 Day 是 联合国环境计划 的成立 date |
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 4034-4034 |
11 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 4100-4100 |
16 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 4263-4263 |
3 Day 是 联合国大学 的成立 date |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |