|
|
   Sunday
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Sunday ChineseLanguage "这是所有日历星期日的 Class。") | chinese_format.kif 2814-2814 | |
| (documentation Sunday EnglishLanguage "The Class of all calendar Sundays.") | Merge.kif 9214-9214 | |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Sunday_prayers_in_the_Church_of_Tsminda_Sameba.jpg") | pictureList.kif 8013-8013 | |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 8014-8014 | |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Solvogn.jpg") | pictureList.kif 6907-6907 | |
| (subclass Sunday Day) | Merge.kif 9212-9212 | subclass Sunday and Day |
| (successorClass Sunday Monday) | Merge.kif 8940-8940 | successorClass Sunday and Monday |
| appearance as argument number 2 |
|
|
| (subclass AdventSunday Sunday) | Media.kif 311-311 | subclass AdventSunday and Sunday |
| (subclass EasterSunday Sunday) | Media.kif 485-485 | subclass EasterSunday and Sunday |
| (subclass PalmSunday Sunday) | Media.kif 460-460 | subclass PalmSunday and Sunday |
| (subclass Pentecost Sunday) | Media.kif 551-551 | subclass Pentecost and Sunday |
| (termFormat ChineseLanguage Sunday "星期日") | chinese_format.kif 1296-1296 | |
| (termFormat EnglishLanguage Sunday "Sunday") | english_format.kif 1809-1809 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9216-9223 | |
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9225-9234 |
|
| 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 |
|
|
|
