Week - Sigma Knowledge base Browser

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 9356-9356
(documentation Week JapaneseLanguage "すべてのカレンダー週の Class。")	japanese_format.kif 1556-1556
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png")	pictureList.kif 8256-8256
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png")	pictureList.kif 6973-6973
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png")	pictureList.kif 8257-8257
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg")	pictureList.kif 8258-8258
(subclass Week TimeInterval)	Merge.kif 9354-9354	Week is a subclass of time interval

appearance as argument number 2

(range WeekAfterFn Week)	Mid-level-ontology.kif 14809-14809	The range of week after fn is an instance of week
(range WeekBeforeFn Week)	Mid-level-ontology.kif 14816-14816	The range of week before fn is an instance of week
(rangeSubclass WeekFn Week)	Merge.kif 8974-8974	The values returned by week fn are subclasses of week
(termFormat ChineseLanguage Week "星期")	chinese_format.kif 1297-1297
(termFormat EnglishLanguage Week "week")	english_format.kif 1811-1811
(termFormat FrenchLanguage Week "semaine")	french_format.kif 975-975
(termFormat Hindi Week "saptaaha")	terms-hindi.txt 510-510
(termFormat ItalianLanguage Week "Settimana")	terms-it.txt 514-514
(termFormat JapaneseLanguage Week "週")	japanese_format.kif 2659-2659
(termFormat PortugueseLanguage Week "Semana")	portuguese_format.kif 927-927
(termFormat cb Week "semana")	terms-cb.txt 516-516
(termFormat cz Week "week")	terms-cz.txt 550-550
(termFormat ro Week "sãptãmânã")	relations-ro.kif 996-996
(termFormat tg Week "linggo")	terms-tg.txt 515-515

antecedent

(=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9321-9328	If a time interval is an instance of Friday and another time interval is an instance of Saturday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9269-9276	If a time interval is an instance of Monday and another time interval is an instance of Tuesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9334-9341	If a time interval is an instance of Saturday and another time interval is an instance of Sunday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (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 9343-9352	If a time interval is an instance of Sunday and another time interval is an instance of Monday and a third time interval is an instance of week and a fourth time interval is an instance of week and the time interval is a part of the third time interval and the other time interval is a part of the fourth time interval and the third time interval meets the fourth time interval, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9308-9315	If a time interval is an instance of Thursday and another time interval is an instance of Friday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9282-9289	If a time interval is an instance of Tuesday and another time interval is an instance of Wednesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9295-9302	If a time interval is an instance of Wednesday and another time interval is an instance of Thursday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (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 14788-14797	If a class is a subclass of newspaper and a time position is an instance of week, then there exist a process and an entity such that the process is an instance of publication and the time of existence of the process is a part of the time position and the entity is a result of the process and the entity is an instance of the class
(=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration)))	Merge.kif 9358-9360	If a time interval is an instance of week, then duration of the time interval is 1 week duration(s)
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9491-9493	If a time interval is an instance of week, then the number of instances in decomposition of the time interval into days is equal to 7

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 1521-1534

If an entity is equal to WeekBeforeMenstruationFn another entity,
then the other entityKBC is equal to the class described by a symbolic string

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: