| 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 9456-9456 | |
| (documentation Week JapaneseLanguage "すべてのカレンダー週の Class。") | japanese_format.kif 1556-1556 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png") | pictureList.kif 8255-8255 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png") | pictureList.kif 6972-6972 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png") | pictureList.kif 8256-8256 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg") | pictureList.kif 8257-8257 | |
| (subclass Week TimeInterval) | Merge.kif 9454-9454 | 星期 是 时距 的 subclass |
| appearance as argument number 2 |
|
|
| (range WeekAfterFn Week) | Mid-level-ontology.kif 16183-16183 | WeekAfterFn 的 range 是 星期 的实例 |
| (range WeekBeforeFn Week) | Mid-level-ontology.kif 16190-16190 | WeekBeforeFn 的 range 是 星期 的实例 |
| (rangeSubclass WeekFn Week) | Merge.kif 9065-9065 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat ChineseLanguage Week "星期") | chinese_format.kif 1297-1297 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat EnglishLanguage Week "week") | english_format.kif 1811-1811 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat FrenchLanguage Week "semaine") | french_format.kif 975-975 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat Hindi Week "saptaaha") | terms-hindi.txt 510-510 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat ItalianLanguage Week "Settimana") | terms-it.txt 514-514 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat JapaneseLanguage Week "週") | japanese_format.kif 2659-2659 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat PortugueseLanguage Week "Semana") | portuguese_format.kif 927-927 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat cb Week "semana") | terms-cb.txt 516-516 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat cz Week "week") | terms-cz.txt 550-550 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat de Week "Woche") | terms-de.txt 809-809 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat ro Week "sãptãmânã") | relations-ro.kif 996-996 | WeekFn 的所得值 是 星期 的 subclass |
| (termFormat tg Week "linggo") | terms-tg.txt 515-515 | WeekFn 的所得值 是 星期 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9421-9428 | |
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9369-9376 | |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (not (meetsTemporally ?DAY1 ?DAY2))) |
Merge.kif 9434-9441 | |
| (=> (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 9443-9452 | |
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9356-9363 | |
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9408-9415 | |
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9382-9389 | |
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9395-9402 | |
| (=> (and (instance ?S Saturday) (instance ?W Week) (during ?S ?W)) (finishes ?S ?W)) |
Merge.kif 9469-9474 | |
| (=> (and (instance ?S Sunday) (instance ?W Week) (during ?S ?W)) (starts ?S ?W)) |
Merge.kif 9462-9467 | |
| (=> (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 16162-16171 | |
| (=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration))) |
Merge.kif 9458-9460 | |
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 9605-9607 |
| consequent |
|
|
| (=> (equal ?WKBMC (WeekBeforeMenstruationFn ?W)) (equal ?WKBC (KappaFn ?C (and (instance ?C Week) (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?W) (equal ?C (WeekBeforeFn (WhenFn ?M))))))))) |
Medicine.kif 1514-1527 |
|
|
|