| October(October)
| | Oct, October |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2804-2804 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9300-9300 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1545-1545 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4934-4934 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9298-9298 | October is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9146-9146 | November is the successor class of October. |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9145-9145 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1286-1286 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1789-1789 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 964-964 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 499-499 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 503-503 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2648-2648 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 916-916 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 505-505 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 539-539 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 798-798 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 985-985 | October is the successor class of September. |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 504-504 | October is the successor class of September. |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9306-9310 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9292-9296 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9302-9304 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2896-2896 | The day 18 of month the month October is a date established of caribbean development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3226-3226 | The day 16 of month the month October is a date established of food and agriculture organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3284-3284 | The month October is a date established of group of10 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3268-3268 | The month October is a date established of group of8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3368-3368 | The day 26 of month the month October is a date established of international atomic energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3593-3593 | The day 17 of month the month October is a date established of latin american economic system |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4048-4048 | The day 22 of month the month October is a date established of united nations mission in sierra leone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4198-4198 | The day 25 of month the month October is a date established of united nations transitional administration in east timor |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4235-4235 | The day 9 of month the month October is a date established of universal postal union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4274-4274 | The day 23 of month the month October is a date established of western european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4299-4299 | The day 3 of month the month October is a date established of world federation of trade unions |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4323-4323 | The day 11 of month the month October is a date established of world meteorological organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2752-2755 | A time position is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |
|
|
|