January
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2795-2795 | |
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 1536-1536 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4897-4897 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9084-9084 | 子類 January and Month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9060-9060 | successorClass January and February |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1277-1277 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1771-1771 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 955-955 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 490-490 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 494-494 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2639-2639 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 907-907 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 496-496 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 530-530 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 976-976 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 495-495 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9257-9264 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9092-9096 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9088-9090 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2391-2396 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2973-2973 | 天 1 and 月 January and 年 1991 是 共同經濟援助理事會 的閉幕 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2859-2859 | 天 20 and 月 January and 年 1930 是 國際結算銀行 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2972-2972 | 天 25 and 月 January and 年 1949 是 共同經濟援助理事會 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3110-3110 | 月 January and 年 1985 是 經濟合作組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3147-3147 | 天 4 and 月 January and 年 1960 是 歐洲自由貿易協會 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3453-3453 | 天 26 and 月 January and 年 1960 是 國際發展協會 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3678-3678 | 天 1 and 月 January and 年 1995 是 歐洲安全與合作組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3729-3729 | 天 9 and 月 January and 年 1968 是 阿拉伯石油出口國組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3772-3772 | 天 11 and 月 January and 年 1994 是 和平夥伴關係 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4024-4024 | 天 24 and 月 January and 年 1949 是 聯合國駐印度和巴基斯坦軍事觀察組 的成立 date |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4332-4332 | 天 2 and 月 January and 年 1975 是 世界旅遊組織 的成立 date |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | 等於 unix時代 and 第二 0 and 分 0 and 小時 0 and 天 1 and 月 January and 年 1970 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 517-517 | 子類 Epiphany and 天 6 and January |