Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (successorClass Sunday Monday) | Merge.kif 9238-9238 | Monday is the successor class of Sunday. |
| (subclass Sunday Day) | Merge.kif 9519-9519 | Sunday is a subclass of day |
| (documentation Sunday EnglishLanguage "The Class of all calendar Sundays.") | Merge.kif 9521-9521 | Sunday is a subclass of day |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Solvogn.jpg") | pictureList.kif 6905-6905 | Sunday is a subclass of day |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Sunday_prayers_in_the_Church_of_Tsminda_Sameba.jpg") | pictureList.kif 8011-8011 | Sunday is a subclass of day |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 8012-8012 | Sunday is a subclass of day |
| appearance as argument number 2 |
|
|
| (subclass AdventSunday Sunday) | Media.kif 305-305 | Advent sunday is a subclass of Sunday |
| (subclass PalmSunday Sunday) | Media.kif 454-454 | Palm sunday is a subclass of Sunday |
| (subclass EasterSunday Sunday) | Media.kif 479-479 | Easter sunday is a subclass of Sunday |
| (subclass Pentecost Sunday) | Media.kif 545-545 | Pentecost is a subclass of Sunday |
| (termFormat EnglishLanguage Sunday "Sunday") | english_format.kif 1813-1813 | Pentecost is a subclass of Sunday |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9445-9452 | If X is an instance of Sunday, Y is an instance of Monday, 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 Sunday) (instance ?W Week) (during ?S ?W)) (starts ?S ?W)) |
Merge.kif 9551-9556 | If X is an instance of Sunday, Y is an instance of week, and X takes place during Y, then X starts 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 |
|
