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 9380-9380 | |
(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 9378-9378 | 週 は 時間間隔 の subclass では %n |
appearance as argument number 2 |
![]() |
(range WeekAfterFn Week) | Mid-level-ontology.kif 15060-15060 | WeekAfterFn の range は 週 のインスタンス では %n |
(range WeekBeforeFn Week) | Mid-level-ontology.kif 15067-15067 | WeekBeforeFn の range は 週 のインスタンス では %n |
(rangeSubclass WeekFn Week) | Merge.kif 8998-8998 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat ChineseLanguage Week "星期") | chinese_format.kif 1297-1297 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat EnglishLanguage Week "week") | english_format.kif 1811-1811 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat FrenchLanguage Week "semaine") | french_format.kif 975-975 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat Hindi Week "saptaaha") | terms-hindi.txt 510-510 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat ItalianLanguage Week "Settimana") | terms-it.txt 514-514 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat JapaneseLanguage Week "週") | japanese_format.kif 2659-2659 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat PortugueseLanguage Week "Semana") | portuguese_format.kif 927-927 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat cb Week "semana") | terms-cb.txt 516-516 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat cz Week "week") | terms-cz.txt 550-550 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat ro Week "sãptãmânã") | relations-ro.kif 996-996 | WeekFn が返す値は 週 の subclasses では %n |
(termFormat tg Week "linggo") | terms-tg.txt 515-515 | WeekFn が返す値は 週 の subclasses では %n |
antecedent |
![]() |
(=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9345-9352 | |
(=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9293-9300 | |
(=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9358-9365 | |
(=> (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 9367-9376 | |
(=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9332-9339 | |
(=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9306-9313 | |
(=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9319-9326 | |
(=> (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 15039-15048 | |
(=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration))) |
Merge.kif 9382-9384 | |
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 9515-9517 |
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 1509-1522 |
![]() |
![]() |