| Saturday(Saturday)
| | Armed_Forces_Day, Holy_Saturday, Sabbatum, Sat, Saturday |
| appearance as argument number 1 |
|
|
| (documentation Saturday ChineseLanguage "这是所有日历星期六的 Class。") | chinese_format.kif 2813-2813 | |
| (documentation Saturday EnglishLanguage "The Class of all calendar Saturdays.") | Merge.kif 9333-9333 | |
| (documentation Saturday JapaneseLanguage "すべてのカレンダー土曜日の Class。") | japanese_format.kif 1554-1554 | |
| (externalImage Saturday "http://upload.wikimedia.org/wikipedia/commons/2/ 2c/ Polidoro_da_Caravaggio_-_Saturnus-thumb.jpg") | pictureList.kif 6838-6838 | |
| (externalImage Saturday "http://upload.wikimedia.org/wikipedia/commons/b/ b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 7811-7811 | |
| (subclass Saturday Day) | Merge.kif 9331-9331 | Saturday is a subclass of day |
| appearance as argument number 2 |
|
|
| (successorClass Friday Saturday) | Merge.kif 9077-9077 | Saturday is the successor class of Friday. |
| (termFormat ChineseLanguage Saturday "星期六") | chinese_format.kif 1295-1295 | Saturday is the successor class of Friday. |
| (termFormat EnglishLanguage Saturday "Saturday") | english_format.kif 1807-1807 | Saturday is the successor class of Friday. |
| (termFormat FrenchLanguage Saturday "Samedi") | french_format.kif 973-973 | Saturday is the successor class of Friday. |
| (termFormat Hindi Saturday "shanivaara") | terms-hindi.txt 508-508 | Saturday is the successor class of Friday. |
| (termFormat ItalianLanguage Saturday "Sabato") | terms-it.txt 512-512 | Saturday is the successor class of Friday. |
| (termFormat JapaneseLanguage Saturday "土曜日") | japanese_format.kif 2657-2657 | Saturday is the successor class of Friday. |
| (termFormat PortugueseLanguage Saturday "Sabado") | portuguese_format.kif 925-925 | Saturday is the successor class of Friday. |
| (termFormat cb Saturday "sabado") | terms-cb.txt 514-514 | Saturday is the successor class of Friday. |
| (termFormat cz Saturday "saturday") | terms-cz.txt 548-548 | Saturday is the successor class of Friday. |
| (termFormat ro Saturday "sâmbãtã") | relations-ro.kif 994-994 | Saturday is the successor class of Friday. |
| (termFormat tg Saturday "Sabado") | terms-tg.txt 513-513 | Saturday is the successor class of Friday. |
| 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 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9348-9355 |
|
| consequent |
|
|
| (=> (instance ?WEEKEND Weekend) (exists (?SATURDAY ?SUNDAY) (and (instance ?SATURDAY Saturday) (instance ?SUNDAY Sunday) (starts ?SATURDAY ?WEEKEND) (finishes ?SUNDAY ?WEEKEND) (meetsTemporally ?SATURDAY ?SUNDAY)))) |
Mid-level-ontology.kif 19379-19387 |
|
|
|
|