| Friday(Friday)
| | American_Indian_Day, Fri, Friday, Good_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 9335-9335 | |
| (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 9333-9333 | Friday is a subclass of day |
| (successorClass Friday Saturday) | Merge.kif 9083-9083 | Saturday is the successor class of Friday. |
| appearance as argument number 2 |
|
|
| (successorClass Thursday Friday) | Merge.kif 9082-9082 | Friday is the successor class of Thursday. |
| (termFormat ChineseLanguage Friday "星期五") | chinese_format.kif 1294-1294 | Friday is the successor class of Thursday. |
| (termFormat EnglishLanguage Friday "Friday") | english_format.kif 1805-1805 | Friday is the successor class of Thursday. |
| (termFormat FrenchLanguage Friday "Vendredi") | french_format.kif 972-972 | Friday is the successor class of Thursday. |
| (termFormat Hindi Friday "shukravaara") | terms-hindi.txt 507-507 | Friday is the successor class of Thursday. |
| (termFormat ItalianLanguage Friday "Venerd�") | terms-it.txt 511-511 | Friday is the successor class of Thursday. |
| (termFormat JapaneseLanguage Friday "金曜日") | japanese_format.kif 2656-2656 | Friday is the successor class of Thursday. |
| (termFormat PortugueseLanguage Friday "Sexta-feira") | portuguese_format.kif 924-924 | Friday is the successor class of Thursday. |
| (termFormat cb Friday "bernes") | terms-cb.txt 513-513 | Friday is the successor class of Thursday. |
| (termFormat cz Friday "friday") | terms-cz.txt 547-547 | Friday is the successor class of Thursday. |
| (termFormat de Friday "Freitag") | terms-de.txt 806-806 | Friday is the successor class of Thursday. |
| (termFormat ro Friday "vineri") | relations-ro.kif 993-993 | Friday is the successor class of Thursday. |
| (termFormat tg Friday "Biyernes") | terms-tg.txt 512-512 | Friday is the successor class of Thursday. |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9350-9357 |
|
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9337-9344 |
|
|
|
|