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 9320-9320 | |
(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 7010-7010 | |
(externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg") | pictureList.kif 6591-6591 | |
(subclass Friday Day) | Merge.kif 9318-9318 | Friday is a subclass of day |
(successorClass Friday Saturday) | Merge.kif 9077-9077 | Saturday is the successor class of Friday. |
appearance as argument number 2 |
(successorClass Thursday Friday) | Merge.kif 9076-9076 | Friday is the successor class of Thursday. |
(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 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 9335-9342 |
|
(=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9322-9329 |
|