| 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 9271-9271 | |
| (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 9269-9269 | 星期四 是 日 的 subclass |
| (successorClass Thursday Friday) | Merge.kif 9040-9040 | 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 9039-9039 | successorClass 星期三 and 星期四 |
| (termFormat ChineseLanguage Thursday "星期四") | chinese_format.kif 1293-1293 | |
| (termFormat EnglishLanguage Thursday "Thursday") | english_format.kif 1803-1803 | |
| (termFormat FrenchLanguage Thursday "Jeudi") | french_format.kif 971-971 | |
| (termFormat Hindi Thursday "bQhaspativaara") | terms-hindi.txt 506-506 | |
| (termFormat ItalianLanguage Thursday "Gioved�") | terms-it.txt 510-510 | |
| (termFormat JapaneseLanguage Thursday "木曜日") | japanese_format.kif 2655-2655 | |
| (termFormat PortugueseLanguage Thursday "Quinta-feira") | portuguese_format.kif 923-923 | |
| (termFormat cb Thursday "huwebes") | terms-cb.txt 512-512 | |
| (termFormat cz Thursday "thursday") | terms-cz.txt 546-546 | |
| (termFormat ro Thursday "joi") | relations-ro.kif 992-992 | |
| (termFormat tg Thursday "Huwebes") | terms-tg.txt 511-511 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9286-9293 | |
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9273-9280 |
|
|
|