|
|
   February
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2796-2796 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9086-9086 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1537-1537 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4871-4871 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9084-9084 | 子類 February and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9047-9047 | successorClass February and March |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9046-9046 | successorClass January and February |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1278-1278 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1773-1773 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 956-956 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 491-491 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 495-495 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2640-2640 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 908-908 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 497-497 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 531-531 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 977-977 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 496-496 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9095-9100 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9088-9093 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9102-9106 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9078-9082 |
|
| statement |
|
|
| 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 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 2842-2842 | 天 17 and 月 February and 年 1989 是 阿拉伯馬格里布聯盟 的成立 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 3196-3196 | 天 7 and 月 February and 年 1992 是 歐洲貨幣聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | 天 7 and 月 February and 年 1992 是 歐洲聯盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3437-3437 | 天 17 and 月 February and 年 1863 是 紅十字國際委員會 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | 天 3 and 月 February and 年 1946 是 國際法院 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3593-3593 | 月 February and 年 1947 是 國際標準化組織 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | 天 1 and 月 February and 年 1958 是 核能機構 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | 天 6 and 月 February and 年 1947 是 太平洋社區 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4094-4094 | 天 1 and 月 February and 年 1996 是 聯合國普雷斯卡觀察員代表團 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | 等於 冬季 and 經常性時間間隔 December and February |
|
|
|
