| Thursday(Thursday)
| | Corpus_Christi, Holy_Thursday, Maundy_Thursday, Th, Thursday |
| appearance as argument number 1 |
|
|
| (documentation Thursday ChineseLanguage "这是所有日历星期四的 Class。") | chinese_format.kif 2811-2811 | |
| (documentation Thursday EnglishLanguage "The Class of all calendar Thursdays.") | Merge.kif 9307-9307 | |
| (documentation Thursday JapaneseLanguage "すべてのカレンダー木曜日の Class。") | japanese_format.kif 1552-1552 | |
| (externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Thor.jpg") | pictureList.kif 6922-6922 | |
| (externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Blake_Holy_Thursday_1794.jpg") | pictureList.kif 8083-8083 | |
| (subclass Thursday Day) | Merge.kif 9305-9305 | Thursday is a subclass of day |
| (successorClass Thursday Friday) | Merge.kif 9076-9076 | Friday is the successor class of Thursday. |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9322-9329 |
|
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9309-9316 |
|
|
|
|