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 9180-9180 | |
(externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Thor.jpg") | pictureList.kif 6923-6923 | |
(externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Blake_Holy_Thursday_1794.jpg") | pictureList.kif 8084-8084 | |
(subclass Thursday Day) | Merge.kif 9178-9178 | 星期四 是 日 的 subclass |
(successorClass Thursday Friday) | Merge.kif 8949-8949 | successorClass 星期四 and 星期五 |
appearance as argument number 2 |
![]() |
(subclass AscensionThursday Thursday) | Media.kif 530-530 | AscensionThursday 是 星期四 的 subclass |
(subclass USThanksgivingDay Thursday) | Media.kif 621-621 | USThanksgivingDay 是 星期四 的 subclass |
(successorClass Wednesday Thursday) | Merge.kif 8948-8948 | successorClass 星期三 and 星期四 |
(termFormat ChineseLanguage Thursday "星期四") | chinese_format.kif 1293-1293 | |
(termFormat EnglishLanguage Thursday "Thursday") | english_format.kif 1803-1803 |
antecedent |
![]() |
(=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9195-9202 | |
(=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9182-9189 |
![]() |
![]() |