| Week(星期)
| |
| appearance as argument number 1 |
|
|
| (documentation Week ChineseLanguage "这是所有日历周的 Class。") | chinese_format.kif 2815-2815 | |
| (documentation Week EnglishLanguage "The Class of all calendar weeks.") | Merge.kif 8776-8776 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png") | pictureList.kif 8258-8258 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png") | pictureList.kif 6974-6974 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png") | pictureList.kif 8259-8259 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg") | pictureList.kif 8260-8260 | |
| (subclass Week TimeInterval) | Merge.kif 8774-8774 | 星期 是 时距 的 subclass |
| appearance as argument number 2 |
|
|
| (rangeSubclass WeekFn Week) | Merge.kif 8400-8400 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat ChineseLanguage Week "星期") | chinese_format.kif 1297-1297 | |
| (termFormat EnglishLanguage Week "week") | english_format.kif 1820-1820 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8741-8748 | |
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8689-8696 | |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8754-8761 | |
| (=> (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 8763-8772 | |
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8728-8735 | |
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8702-8709 | |
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8715-8722 | |
| (=> (and (subclass ?PAPER Newspaper) (instance ?WEEK Week)) (exists (?PUBLICATION ?ISSUE) (and (instance ?PUBLICATION Publication) (temporalPart (WhenFn ?PUBLICATION) ?WEEK) (result ?PUBLICATION ?ISSUE) (instance ?ISSUE ?PAPER)))) |
Mid-level-ontology.kif 12558-12567 | |
| (=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration))) |
Merge.kif 8778-8780 | |
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 8911-8913 |
|
|
|