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 |
appearance as argument number 2 |
(successorClass Friday Saturday) | Merge.kif 9077-9077 | |
(termFormat ChineseLanguage Saturday "星期六") | chinese_format.kif 1295-1295 | |
(termFormat EnglishLanguage Saturday "Saturday") | english_format.kif 1807-1807 | |
(termFormat FrenchLanguage Saturday "Samedi") | french_format.kif 973-973 | |
(termFormat Hindi Saturday "shanivaara") | terms-hindi.txt 508-508 | |
(termFormat ItalianLanguage Saturday "Sabato") | terms-it.txt 512-512 | |
(termFormat JapaneseLanguage Saturday "土曜日") | japanese_format.kif 2657-2657 | |
(termFormat PortugueseLanguage Saturday "Sabado") | portuguese_format.kif 925-925 | |
(termFormat cb Saturday "sabado") | terms-cb.txt 514-514 | |
(termFormat cz Saturday "saturday") | terms-cz.txt 548-548 | |
(termFormat ro Saturday "sâmbãtã") | relations-ro.kif 994-994 | |
(termFormat tg Saturday "Sabado") | terms-tg.txt 513-513 |
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 |