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 9206-9206 | |
(externalImage Saturday "http://upload.wikimedia.org/wikipedia/commons/2/ 2c/ Polidoro_da_Caravaggio_-_Saturnus-thumb.jpg") | pictureList.kif 6839-6839 | |
(externalImage Saturday "http://upload.wikimedia.org/wikipedia/commons/b/ b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 7812-7812 | |
(subclass Saturday Day) | Merge.kif 9204-9204 | 星期六 是 日 的 subclass |
appearance as argument number 2 |
![]() |
(successorClass Friday Saturday) | Merge.kif 8950-8950 | successorClass 星期五 and 星期六 |
(termFormat ChineseLanguage Saturday "星期六") | chinese_format.kif 1295-1295 | |
(termFormat EnglishLanguage Saturday "Saturday") | english_format.kif 1807-1807 |
antecedent |
![]() |
(=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9208-9215 | |
(=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9221-9228 |
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 18556-18564 |
![]() |
![]() |