Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Saturday(Saturday)
|  | Armed_Forces_Day, Holy_Saturday, Sabbatum, Sat, Saturday |
| appearance as argument number 1 |
|
|
| (subclass Saturday Day) | Merge.kif 9506-9506 | Saturday is a subclass of day |
| (documentation Saturday EnglishLanguage "The Class of all calendar Saturdays.") | Merge.kif 9508-9508 | Saturday is a subclass of day |
| (externalImage Saturday "http://upload.wikimedia.org/wikipedia/commons/2/ 2c/ Polidoro_da_Caravaggio_-_Saturnus_thumb.jpg") | pictureList.kif 6837-6837 | Saturday is a subclass of day |
| (externalImage Saturday "http://upload.wikimedia.org/wikipedia/commons/b/ b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 7810-7810 | Saturday is a subclass of day |
| appearance as argument number 2 |
|
|
| (successorClass Friday Saturday) | Merge.kif 9243-9243 | Saturday is the successor class of Friday. |
| (termFormat EnglishLanguage Saturday "Saturday") | english_format.kif 1811-1811 | 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 9510-9517 | If X is an instance of Friday, Y is an instance of Saturday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (not (meetsTemporally ?DAY1 ?DAY2))) |
Merge.kif 9523-9530 | If X is an instance of Saturday, Y is an instance of Sunday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X doesn't meet Y |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9532-9541 | If All of the following hold: (1) X is an instance of Saturday (2) Y is an instance of Sunday (3) Z is an instance of week (4) W is an instance of week (5) X is a part of Z (6) Y is a part of W (7) Z meets W, then X meets Y |
| (=> (and (instance ?S Saturday) (instance ?W Week) (during ?S ?W)) (finishes ?S ?W)) |
Merge.kif 9558-9563 | If X is an instance of Saturday, Y is an instance of week, and X takes place during Y, then X finishes Y |
| 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 21058-21066 | If X is an instance of weekend, then there exist Y, Z such that Y is an instance of Saturday, Z is an instance of Sunday, Y starts X, Z finishes X, and Y meets Z |
|