| 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 9163-9163 | |
| 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 4896-4896 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9161-9161 | January is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9137-9137 | February is the successor class of January. |
| 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. | terms-de.txt 789-789 | |
| 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 9334-9341 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9169-9173 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9165-9167 |
|
| 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 2970-2970 | The day 1 of month the month January is a date dissolved of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2856-2856 | The day 20 of month the month January is a date established of bank for international settlements |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2969-2969 | The day 25 of month the month January is a date established of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3107-3107 | The month January is a date established of economic cooperation organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3144-3144 | The day 4 of month the month January is a date established of european free trade association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3450-3450 | The day 26 of month the month January is a date established of international development association |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | The day 1 of month the month January 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 3726-3726 | The day 9 of month the month January is a date established of organization of arab petroleum exporting countries |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3769-3769 | The day 11 of month the month January is a date established of partnership for peace |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4021-4021 | The day 24 of month the month January 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 4329-4329 | The day 2 of month the month January is a date established of world tourism organization |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2275-2275 | equal unix epoch and the second 0 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 517-517 | Epiphany is a subclass of the day 6 of month January |
|
|
|