| January(January)
| | 1月, 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 8368-8368 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4898-4898 | "http://upload.wikimedia.org/wikipedia/commons/f/f6/ Ice_fishing-Lake_Harriet-2007-01-20.jpg" is a URL depicting January |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8366-8366 | January is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8342-8342 | 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 | "一月" is the printable form of January in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1780-1780 | "January" is the printable form of January in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8539-8546 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8374-8378 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8370-8372 |
|
| 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 |
|
|
|