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 9370-9370
(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 9368-9368	Week is a subclass of time interval

appearance as argument number 2

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

antecedent

(=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9335-9342	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 9283-9290	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 9348-9355	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 9357-9366	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 9322-9329	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 9296-9303	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 9309-9316	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 15007-15016	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 9372-9374	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 9505-9507	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: