| January(January)
| | Jan, 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 8469-8469 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4898-4898 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8467-8467 | January is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8443-8443 | 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 1780-1780 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8640-8647 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8475-8479 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8471-8473 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2368-2373 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2940-2940 | The day 1 is a date dissolved of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | The day 20 is a date established of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2939-2939 | The day 25 is a date established of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3077-3077 | The month January is a date established of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3114-3114 | The day 4 is a date established of european free trade association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3420-3420 | The day 26 is a date established of international development association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3645-3645 | The day 1 is a date established of organization for security and cooperation in europe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3696-3696 | The day 9 is a date established of organization of arab petroleum exporting countries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3739-3739 | The day 11 is a date established of partnership for peace |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3991-3991 | The day 24 is a date established of united nations military observer group in india and pakistan |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4299-4299 | The day 2 is a date established of world tourism organization |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 517-517 | Epiphany is a subclass of the day 6 |
|
|
|