| Thursday(Thursday)
| | Corpus_Christi, Holy_Thursday, Maundy_Thursday, Th, Thursday |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2811-2811 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8690-8690 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6923-6923 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8085-8085 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8688-8688 | Thursday is a subclass of day |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8459-8459 | successorClass Thursday and Friday |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 530-530 | AscensionThursday is a subclass of Thursday |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 621-621 | USThanksgivingDay is a subclass of Thursday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8458-8458 | successorClass Wednesday and Thursday |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1293-1293 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1812-1812 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8705-8712 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8692-8699 |
|
|
|
|