| October(October)
| | 10月, 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 8505-8505 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4936-4936 | "http://upload.wikimedia.org/wikipedia/commons/b/bb/ WallCalendar.jpg" is a URL depicting October |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8503-8503 | October is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8351-8351 | successorClass October and November |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8350-8350 | successorClass September and October |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1286-1286 | "十月" is the printable form of October in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1798-1798 | "October" is the printable form of October in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8511-8515 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8497-8501 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8507-8509 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2866-2866 | The day 18 is a date established of caribbean development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3196-3196 | The day 16 is a date established of food and agriculture organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | The month October is a date established of group of10 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3238-3238 | The month October is a date established of group of8 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3338-3338 | The day 26 is a date established of international atomic energy agency |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3563-3563 | The day 17 is a date established of latin american economic system |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4018-4018 | The day 22 is a date established of united nations mission in sierra leone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4168-4168 | The day 25 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 4205-4205 | The day 9 is a date established of universal postal union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4244-4244 | The day 23 is a date established of western european union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4269-4269 | The day 3 is a date established of world federation of trade unions |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4293-4293 | The day 11 is a date established of world meteorological organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2726-2726 | Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1 |
|
|
|