| 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 9201-9201 | |
| (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 9199-9199 | Saturday is a subclass of day |
| appearance as argument number 2 |
|
|
| (successorClass Friday Saturday) | Merge.kif 8945-8945 | %2 is the successorClass of %2. |
| (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 9203-9210 |
|
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9216-9223 |
|
| 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 18496-18504 |
|
|
|
|