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。") Merge.kif 9359-9359
(documentation Week EnglishLanguage "The Class of all calendar weeks.") Merge.kif 9358-9358
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png") pictureList.kif 8258-8258 "http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png" is a URL depicting week
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png") pictureList.kif 6974-6974 "http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png" is a URL depicting week
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png") pictureList.kif 8259-8259 "http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png" is a URL depicting week
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg") pictureList.kif 8260-8260 "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg" is a URL depicting week
(subclass Week TimeInterval) Merge.kif 9357-9357 Week is a subclass of time interval

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


(rangeSubclass WeekFn Week) Merge.kif 8985-8985 The values returned by WeekFn are subclasses of week
(termFormat ChineseLanguage Week "星期") chinese_format.kif 1297-1297 "星期" is the printable form of week in ChineseLanguage
(termFormat EnglishLanguage Week "week") english_format.kif 984-984 "week" is the printable form of week in english language

antecedent
-------------------------


(=>
    (and
        (instance ?DAY1 Friday)
        (instance ?DAY2 Saturday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9324-9331
(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9272-9279
(=>
    (and
        (instance ?DAY1 Saturday)
        (instance ?DAY2 Sunday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9337-9344
(=>
    (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 9346-9355
(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9311-9318
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9285-9292
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9298-9305
(=>
    (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 12533-12542
(=>
    (instance ?WEEK Week)
    (duration ?WEEK
        (MeasureFn 1 WeekDuration)))
Merge.kif 9361-9363
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9498-9500


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners