| 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 9391-9391 | |
| (documentation Friday JapaneseLanguage "すべてのカレンダー金曜日の Class。") | japanese_format.kif 1553-1553 | |
| (externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 7009-7009 | |
| (externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg") | pictureList.kif 6590-6590 | |
| (subclass Friday Day) | Merge.kif 9389-9389 | |
| (successorClass Friday Saturday) | Merge.kif 9139-9139 |
| appearance as argument number 2 |
|
|
| (successorClass Thursday Friday) | Merge.kif 9138-9138 | |
| (termFormat ChineseLanguage Friday "星期五") | chinese_format.kif 1294-1294 | |
| (termFormat EnglishLanguage Friday "Friday") | english_format.kif 1805-1805 | |
| (termFormat FrenchLanguage Friday "Vendredi") | french_format.kif 972-972 | |
| (termFormat Hindi Friday "shukravaara") | terms-hindi.txt 507-507 | |
| (termFormat ItalianLanguage Friday "Venerd�") | terms-it.txt 511-511 | |
| (termFormat JapaneseLanguage Friday "金曜日") | japanese_format.kif 2656-2656 | |
| (termFormat PortugueseLanguage Friday "Sexta-feira") | portuguese_format.kif 924-924 | |
| (termFormat cb Friday "bernes") | terms-cb.txt 513-513 | |
| (termFormat cz Friday "friday") | terms-cz.txt 547-547 | |
| (termFormat de Friday "Freitag") | terms-de.txt 806-806 | |
| (termFormat ro Friday "vineri") | relations-ro.kif 993-993 | |
| (termFormat tg Friday "Biyernes") | terms-tg.txt 512-512 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9406-9413 | |
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9393-9400 |
|
|
|