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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Week
Week(week)
Holy_Week, Passion_Week, Whitsun, Whitsuntide, Whitweek, calendar_week, hebdomad, rag, rag_week, week

appearance as argument number 1
-------------------------


s__documentation(s__Week,s__ChineseLanguage,'"这是所有日历周的 Class。"')

chinese_format.kif 2815-2815
s__documentation(s__Week,s__EnglishLanguage,'"The Class of all calendar weeks."')

Merge.kif 8971-8971
s__externalImage(s__Week,'"http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png"')

pictureList.kif 8257-8257
s__externalImage(s__Week,'"http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png"')

pictureList.kif 6974-6974
s__externalImage(s__Week,'"http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png"')

pictureList.kif 8258-8258
s__externalImage(s__Week,'"http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg"')

pictureList.kif 8259-8259
s__subclass(s__Week,s__TimeInterval)

s__instance(s__TimeInterval,s__Class)

s__instance(s__Week,s__Class)

Merge.kif 8969-8969 Week is a subclass of time interval

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


s__range(s__WeekBeforeFn__m,s__Week)

Mid-level-ontology.kif 14134-14134 The range of WeekBeforeFn is an instance of week
s__rangeSubclass(s__WeekFn__m,s__Week)

Merge.kif 8594-8594 The values returned by WeekFn are subclasses of week
s__termFormat(s__ChineseLanguage,s__Week,'"星期"')

chinese_format.kif 1297-1297
s__termFormat(s__EnglishLanguage,s__Week,'"week"')

english_format.kif 1811-1811

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


( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Friday) &
         s__instance(V__DAY2,s__Saturday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8936-8943
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Monday) &
         s__instance(V__DAY2,s__Tuesday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8884-8891
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Saturday) &
         s__instance(V__DAY2,s__Sunday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8949-8956
( ! [V__DAY2,V__DAY1,V__WEEK2,V__WEEK1] :
   (((s__instance(V__DAY1,s__Sunday) &
         s__instance(V__DAY2,s__Monday) &
         s__instance(V__WEEK1,s__Week) &
         s__instance(V__WEEK2,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK1)
       &
       s__temporalPart(V__DAY2,V__WEEK2)
     &
     s__meetsTemporally(V__WEEK1,V__WEEK2))
=>
(s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8958-8967
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Thursday) &
         s__instance(V__DAY2,s__Friday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8923-8930
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Tuesday) &
         s__instance(V__DAY2,s__Wednesday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8897-8904
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Wednesday) &
         s__instance(V__DAY2,s__Thursday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8910-8917
( ! [V__WEEK,V__PAPER] :
   ((s__instance(V__PAPER,s__Class) =>
       (((s__subclass(V__PAPER,s__Newspaper) &
             s__instance(V__WEEK,s__Week))
           =>
           (( ? [V__PUBLICATION, V__ISSUE] :
               ((s__instance(V__PUBLICATION,s__Publication) &
                   s__temporalPart(s__WhenFn(V__PUBLICATION)
                ,V__WEEK)
               &
               s__result(V__PUBLICATION,V__ISSUE)
             &
             s__instance(V__ISSUE,V__PAPER))))))))
)
)

Mid-level-ontology.kif 14113-14122
( ! [V__WEEK] :
   ((s__instance(V__WEEK,s__Week) =>
       (s__duration(V__WEEK,s__MeasureFn(n__1,s__WeekDuration))))
   )
)

Merge.kif 8973-8975
( ! [V__WEEK] :
   ((s__instance(V__WEEK,s__Week) =>
       ((s__CardinalityFn(s__TemporalCompositionFn(V__WEEK,s__Day))
         = n__7)))
   )
)

Merge.kif 9106-9108


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