|
|
   Friday
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Friday ChineseLanguage "这是所有日历星期五的 Class。") | chinese_format.kif 2812-2812 | |
| (documentation Friday EnglishLanguage "The Class of all calendar Fridays.") | Merge.kif 9188-9188 | |
| (externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 7011-7011 | |
| (externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg") | pictureList.kif 6592-6592 | |
| (subclass Friday Day) | Merge.kif 9186-9186 | subclass Friday and Day |
| (successorClass Friday Saturday) | Merge.kif 8945-8945 | successorClass Friday and Saturday |
| appearance as argument number 2 |
|
|
| (successorClass Thursday Friday) | Merge.kif 8944-8944 | successorClass Thursday and Friday |
| (termFormat ChineseLanguage Friday "星期五") | chinese_format.kif 1294-1294 | |
| (termFormat EnglishLanguage Friday "Friday") | english_format.kif 1805-1805 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9203-9210 | |
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9190-9197 |
|
|
|
