| November(November)
| | Nov, November |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2805-2805 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9239-9239 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1546-1546 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4933-4933 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9237-9237 | November is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9072-9072 | December is the successor class of November. |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9071-9071 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1287-1287 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1791-1791 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 965-965 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 500-500 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 504-504 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2649-2649 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 917-917 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 506-506 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 540-540 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 799-799 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 986-986 | November is the successor class of October. |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 505-505 | November is the successor class of October. |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9245-9249 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9231-9235 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9241-9243 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 587-597 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 635-640 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2819-2819 | The day 7 is a date established of asia pacific economic cooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2927-2927 | The day 11 is a date established of central european initiative |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3119-3119 | The day 8 is a date established of euro atlantic partnership council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4176-4176 | The day 8 is a date established of international criminal tribunal for rwanda |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3458-3458 | The day 15 is a date established of international energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3489-3489 | The month November is a date established of international fund for agricultural development |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3549-3549 | The day 5 is a date established of international organization for migration |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3858-3858 | The day 28 is a date established of united nations civilian police mission in haiti |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3870-3870 | The day 22 is a date established of united nations development program |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3888-3888 | The day 16 is a date established of united nations educational scientific and cultural organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3989-3989 | The day 17 is a date established of united nations industrial development organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4085-4085 | The day 30 is a date established of united nations organization mission in the democratic republic of the congo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4260-4260 | The day 14 is a date established of west african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4306-4306 | The day 24 is a date established of world food program |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1654-1654 | Fall season is equal to the recurring period from September to November |
|
|
|