| 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 9393-9393 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1552-1552 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6921-6921 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8082-8082 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9391-9391 | Thursday is a subclass of day |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9153-9153 | Friday is the successor class of Thursday. |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 530-530 | Ascension thursday is a subclass of Thursday |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 621-621 | US thanksgiving day is a subclass of Thursday |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9152-9152 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1293-1293 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1803-1803 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 971-971 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 506-506 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 510-510 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2655-2655 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 923-923 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 512-512 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 546-546 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 805-805 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 992-992 | Thursday is the successor class of Wednesday. |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 511-511 | Thursday is the successor class of Wednesday. |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9408-9415 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9395-9402 |
|
|
|
|