|
|
   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 9064-9064 | |
| 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 9062-9062 | 二月 是 月 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9025-9025 | successorClass 二月 and 三月 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9024-9024 | successorClass 一月 and 二月 |
| 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 9073-9078 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9066-9071 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9080-9084 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9056-9060 |
| statement |
|
|
| 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 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 2842-2842 | 17 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 3196-3196 | 7 Day 是 欧洲货币联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | 7 Day 是 欧洲联盟 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3437-3437 | 17 Day 是 红十字国际委员会 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3451-3451 | 3 Day 是 国际法院 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3593-3593 | 二月 month 是 国际标准化组织 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3690-3690 | 1 Day 是 核能机构 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3795-3795 | 6 Day 是 太平洋社区 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4094-4094 | 1 Day 是 联合国普雷斯卡观察员代表团 的成立 date |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | 冬季 equal 从十二月到二月再次发生所需的时间 |
|
|
|
