| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3193-3193 |
例 ?D and 天 23 and 月 June and 年 1961 是 南極條約 的 agreement 生效日期 |
| 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 2801-2801 |
天 23 and 月 June and 年 1961 是 南極條約理事會 的成立 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 3014-3014 |
天 3 and 月 June and 年 1957 是 阿拉伯經濟統一委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3060-3060 |
天 6 and 月 June and 年 1967 是 東非開發銀行 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3066-3066 |
天 26 and 月 June and 年 1945 是 經濟和社會理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3335-3335 |
天 22 and 月 June and 年 1984 是 11人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3361-3361 |
天 15 and 月 June and 年 1964 是 77人小組 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3478-3478 |
天 13 and 月 June and 年 1956 是 國際刑事警察組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3535-3535 |
月 June and 年 1919 是 國際水文組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3542-3542 |
天 28 and 月 June and 年 1919 是 國際勞工組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3575-3575 |
天 23 and 月 June and 年 1894 是 國際奧林匹克委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3771-3771 |
天 18 and 月 June and 年 1981 是 加勒比東部各州的組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3872-3872 |
天 26 and 月 June and 年 1945 是 聯合國 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 3940-3940 |
天 26 and 月 June and 年 1945 是 聯合國大會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4040-4040 |
天 10 and 月 June and 年 1999 是 聯合國在科索沃的臨時行政當局 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4169-4169 |
天 26 and 月 June and 年 1945 是 聯合國秘書處 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4180-4180 |
天 26 and 月 June and 年 1945 是 聯合國安理會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4244-4244 |
月 June and 年 1948 是 聯合國停戰監督組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4257-4257 |
天 26 and 月 June and 年 1945 是 聯合國託管理事會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4326-4326 |
天 19 and 月 June and 年 1920 是 世界勞工聯合會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1665-1665 |
等於 夏季 and 經常性時間間隔 June and August |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2501-2504 |
持有期間 未來 TimePosition and 例 Serbia and 歐洲國家 例 TimePosition and 天 5 and 月 June and 年 2006 |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 2496-2499 |
持有期間 未來 TimePosition and 例 Serbia and 獨立國家 例 TimePosition and 天 5 and 月 June and 年 2006 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
