Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Week

Sigma KEE - Week
Week(week)
Holy_Week, Passion_Week, Whitsun, Whitsuntide, Whitweek, calendar_week, hebdomad, rag, rag_week, 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 9334-9334
(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 9332-9332 Week is a subclass of time interval

appearance as argument number 2
-------------------------


(range WeekAfterFn Week) Mid-level-ontology.kif 14810-14810 The range of week after fn is an instance of week
(range WeekBeforeFn Week) Mid-level-ontology.kif 14817-14817 The range of week before fn is an instance of week
(rangeSubclass WeekFn Week) Merge.kif 8952-8952 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 9299-9306
(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9247-9254
(=>
    (and
        (instance ?DAY1 Saturday)
        (instance ?DAY2 Sunday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9312-9319
(=>
    (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 9321-9330
(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9286-9293
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9260-9267
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9273-9280
(=>
    (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 14789-14798
(=>
    (instance ?WEEK Week)
    (duration ?WEEK
        (MeasureFn 1 WeekDuration)))
Merge.kif 9336-9338
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9469-9471

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


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

Show without tree


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