| 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. | Merge.kif 12913-12913 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12911-12911 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12915-12915 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6923-6923 | "http://upload.wikimedia.org/wikipedia/commons/2/23/ Thor.jpg" is a URL depicting Thursday |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8085-8085 | "http://upload.wikimedia.org/wikipedia/commons/3/33/ Blake_Holy_Thursday_1794.jpg" is a URL depicting Thursday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12909-12909 | Thursday is a subclass of day |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12611-12611 | 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 12610-12610 | successorClass Wednesday and Thursday |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1293-1293 | "星期四" is the printable form of Thursday in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 2592-2592 | "Thursday" is the printable form of Thursday in english language |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 2593-2593 | "木曜日" is the printable form of Thursday in japanese language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12935-12942 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12917-12924 |
|
|
|
|