| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2877-2877 |
年 1994 是 東盟區域論壇 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2750-2750 |
天 6 and 月 June and 年 1975 是 非洲加勒比和太平洋國家集團 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2757-2757 |
天 4 and 月 August and 年 1963 是 非洲開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2771-2771 |
天 20 and 月 March and 年 1970 是 法語社區的代理機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2778-2778 |
天 14 and 月 February and 年 1967 是 在拉丁美洲和加勒比地區禁止核武器的機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2796-2796 |
天 26 and 月 May and 年 1969 是 安第斯國際社會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2801-2801 |
天 23 and 月 June and 年 1961 是 南極條約理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2812-2812 |
天 18 and 月 February and 年 1974 是 阿拉伯非洲經濟發展銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2818-2818 |
天 16 and 月 February and 年 1989 是 阿拉伯合作理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2824-2824 |
天 16 and 月 May and 年 1968 是 阿拉伯經濟和社會發展基金 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2833-2833 |
天 22 and 月 March and 年 1945 是 阿拉伯聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2842-2842 |
天 17 and 月 February and 年 1989 是 阿拉伯馬格里布聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2851-2851 |
天 27 and 月 April and 年 1976 是 阿拉伯貨幣基金 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2857-2857 |
天 7 and 月 November and 年 1989 是 亞太經濟合作 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2863-2863 |
天 19 and 月 December and 年 1966 是 亞洲開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2869-2869 |
天 8 and 月 August and 年 1967 是 東南亞國家聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2883-2883 |
年 1984 是 澳大利亞集團 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2889-2889 |
天 1 and 月 September and 年 1951 是 澳大利亞新西蘭美國安全條約 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2895-2895 |
天 20 and 月 January and 年 1930 是 國際結算銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2901-2901 |
天 3 and 月 February and 年 1958 是 比荷盧經濟聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2909-2909 |
年 1975 是 大七 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2914-2914 |
年 1967 是 大六 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2921-2921 |
天 25 and 月 June and 年 1992 是 黑海經濟合作區 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2928-2928 |
天 4 and 月 July and 年 1973 是 加勒比共同體和共同市場 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2935-2935 |
天 18 and 月 October and 年 1969 是 加勒比開發銀行 的成立 date |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
