| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3192-3192 |
天 1 and 月 December and 年 1959 是 南極條約 的 agreement 採用日期 |
| 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 2943-2943 |
天 3 and 月 December and 年 1975 是 中非國家開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2950-2950 |
天 13 and 月 December and 年 1960 是 中美洲經濟一體化銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2957-2957 |
天 13 and 月 December and 年 1960 是 中美洲共同市場 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2987-2987 |
天 8 and 月 December and 年 1991 是 獨立國家聯合體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2980-2980 |
天 31 and 月 December and 年 1931 是 國家聯合體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3376-3376 |
天 21 and 月 December and 年 1982 是 印度洋委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3429-3429 |
天 7 and 月 December and 年 1944 是 國際民航組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3443-3443 |
月 December and 年 1949 是 國際自由工會聯合會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3623-3623 |
天 15 and 月 December and 年 1973 是 伊斯蘭開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3650-3650 |
天 8 and 月 December and 年 1864 是 中非貨幣和經濟共同體 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3675-3675 |
天 4 and 月 December and 年 1975 是 北歐投資銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3705-3705 |
天 14 and 月 December and 年 1960 是 經濟合作與發展組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3834-3834 |
天 8 and 月 December and 年 1985 是 南亞區域合作協會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3848-3848 |
天 11 and 月 December and 年 1969 是 南部非洲關稅同盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3890-3890 |
天 11 and 月 December and 年 1946 是 聯合國兒童基金會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3902-3902 |
天 30 and 月 December and 年 1964 是 聯合國貿易與發展會議 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3934-3934 |
天 15 and 月 December and 年 1972 是 聯合國環境計劃 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4020-4020 |
天 3 and 月 December and 年 1949 是 聯合國難民署 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4034-4034 |
天 11 and 月 December and 年 1963 是 聯合國訓練研究所 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4073-4073 |
天 21 and 月 December and 年 1995 是 聯合國在波黑和黑塞哥維那的使命 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4100-4100 |
天 16 and 月 December and 年 1994 是 聯合國塔吉克斯坦觀察員代表團 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4150-4150 |
天 8 and 月 December and 年 1949 是 聯合國近東巴勒斯坦難民救濟和工作機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4263-4263 |
天 3 and 月 December and 年 1973 是 聯合國大學 的成立 date |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
