week (Week)

The Class of all calendar weeks.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

entity

abstract

quantity

physical quantity

constant quantity

time measure

time position

time interval

week

Coordinate term(s)

day hour minute month second year

Related WordNet synsets

week, calendar week: a period of seven consecutive days starting on Sunday
week, hebdomad: any period of seven consecutive days; "it rained for a week"

See more related synsets on a separate page.

Axioms (9)

If day1 is an instance of monday and day2 is an instance of tuesday and week is an instance of week and day1 is a part of week and day2 is a part of week, then day1 meets day2.

(=>
      (and
            (instance ?DAY1 Monday)
            (instance ?DAY2 Tuesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 is an instance of tuesday and day2 is an instance of wednesday and week is an instance of week and day1 is a part of week and day2 is a part of week, then day1 meets day2.

(=>
      (and
            (instance ?DAY1 Tuesday)
            (instance ?DAY2 Wednesday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 is an instance of wednesday and day2 is an instance of thursday and week is an instance of week and day1 is a part of week and day2 is a part of week, then day1 meets day2.

(=>
      (and
            (instance ?DAY1 Wednesday)
            (instance ?DAY2 Thursday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 is an instance of thursday and day2 is an instance of friday and week is an instance of week and day1 is a part of week and day2 is a part of week, then day1 meets day2.

(=>
      (and
            (instance ?DAY1 Thursday)
            (instance ?DAY2 Friday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 is an instance of friday and day2 is an instance of saturday and week is an instance of week and day1 is a part of week and day2 is a part of week, then day1 meets day2.

(=>
      (and
            (instance ?DAY1 Friday)
            (instance ?DAY2 Saturday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 is an instance of saturday and day2 is an instance of sunday and week is an instance of week and day1 is a part of week and day2 is a part of week, then day1 meets day2.

(=>
      (and
            (instance ?DAY1 Saturday)
            (instance ?DAY2 Sunday)
            (instance ?WEEK Week)
            (temporalPart ?DAY1 ?WEEK)
            (temporalPart ?DAY2 ?WEEK))
      (meetsTemporally ?DAY1 ?DAY2))

If day1 is an instance of sunday and day2 is an instance of monday and week1 is an instance of week and week2 is an instance of week and day1 is a part of week1 and day2 is a part of week2 and week1 meets week2, then day1 meets day2.

(=>
      (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))

If week is an instance of week, then duration of week is " week duration(s)".

(=>
      (instance ?WEEK Week)
      (duration
            ?WEEK
            (MeasureFn 1 WeekDuration)))

If week is an instance of week, then "the number of instances in "decomposition of week into ? days"" is equal to .

(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))