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 9223-9223 | |
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 4935-4935 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9221-9221 | October is a subclass of month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9069-9069 | 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 9068-9068 | October is the successor class of September. |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1286-1286 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1789-1789 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 964-964 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 499-499 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 503-503 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2648-2648 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 916-916 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 505-505 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 539-539 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 985-985 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 504-504 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9229-9233 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9215-9219 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9225-9227 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2899-2899 | The day 18 is a date established of caribbean development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3229-3229 | 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 3287-3287 | The month October is a date established of group of10 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3271-3271 | The month October is a date established of group of8 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3371-3371 | 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 3596-3596 | 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 4051-4051 | 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 4201-4201 | 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 4238-4238 | The day 9 is a date established of universal postal union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4277-4277 | The day 23 is a date established of western european union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4302-4302 | 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 4326-4326 | The day 11 is a date established of world meteorological organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2755-2758 | A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |