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. |
Geography.kif 3193-3193 |
?D 是 23 Day 的 instance 是 南极条约 的 agreement 生效日期 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2994-2994 |
31 Day 是 出口管制协调委员会 的闭幕 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3009-3009 |
1 Day 是 共同经济援助理事会 的闭幕 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4145-4145 |
25 Day 是 联合国预防性部署部队 的闭幕 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4285-4285 |
1 Day 是 华沙协议 的闭幕 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2750-2750 |
6 Day 是 非洲加勒比和太平洋国家集团 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2757-2757 |
4 Day 是 非洲开发银行 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2771-2771 |
20 Day 是 法语社区的代理机构 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2778-2778 |
14 Day 是 在拉丁美洲和加勒比地区禁止核武器的机构 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2796-2796 |
26 Day 是 安第斯国际社会 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2801-2801 |
23 Day 是 南极条约理事会 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2812-2812 |
18 Day 是 阿拉伯非洲经济发展银行 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2818-2818 |
16 Day 是 阿拉伯合作理事会 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2824-2824 |
16 Day 是 阿拉伯经济和社会发展基金 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2833-2833 |
22 Day 是 阿拉伯联盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2842-2842 |
17 Day 是 阿拉伯马格里布联盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2851-2851 |
27 Day 是 阿拉伯货币基金 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2857-2857 |
7 Day 是 亚太经济合作 的成立 date |
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 2869-2869 |
8 Day 是 东南亚国家联盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2889-2889 |
1 Day 是 澳大利亚新西兰美国安全条约 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2895-2895 |
20 Day 是 国际结算银行 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2901-2901 |
3 Day 是 比荷卢经济联盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2921-2921 |
25 Day 是 黑海经济合作区 的成立 date |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |