Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# 週 (Week)

The Class of all calendar weeks.

## Ontology

SUMO / TEMPORAL-CONCEPTS

 實體

抽象的

數量

物理量

常量

時間單位

時間

時段

小時

## Related WordNet synsets

week, calendar week
a period of seven consecutive days starting on Sunday

any period of seven consecutive days; "it rained for a week"

See more related synsets on a separate page.

## Axioms (9)

If day1星期一實例 and day2星期二實例 and week實例 and day1week部分 and day2week部分, then day1 (沒) 相接s day2.
```(=>
(and
(instance ?DAY1 Monday)
(instance ?DAY2 Tuesday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))```

If day1星期二實例 and day2星期三實例 and week實例 and day1week部分 and day2week部分, then day1 (沒) 相接s day2.
```(=>
(and
(instance ?DAY1 Tuesday)
(instance ?DAY2 Wednesday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))```

If day1星期三實例 and day2星期四實例 and week實例 and day1week部分 and day2week部分, then day1 (沒) 相接s day2.
```(=>
(and
(instance ?DAY1 Wednesday)
(instance ?DAY2 Thursday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))```

If day1星期四實例 and day2星期五實例 and week實例 and day1week部分 and day2week部分, then day1 (沒) 相接s day2.
```(=>
(and
(instance ?DAY1 Thursday)
(instance ?DAY2 Friday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))```

If day1星期五實例 and day2星期六實例 and week實例 and day1week部分 and day2week部分, then day1 (沒) 相接s day2.
```(=>
(and
(instance ?DAY1 Friday)
(instance ?DAY2 Saturday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))```

If day1星期六實例 and day2星期日實例 and week實例 and day1week部分 and day2week部分, then day1 (沒) 相接s day2.
```(=>
(and
(instance ?DAY1 Saturday)
(instance ?DAY2 Sunday)
(instance ?WEEK Week)
(temporalPart ?DAY1 ?WEEK)
(temporalPart ?DAY2 ?WEEK))
(meetsTemporally ?DAY1 ?DAY2))```

If day1星期日實例 and day2星期一實例 and week1實例 and week2實例 and day1week1部分 and day2week2部分 and week1 (沒) 相接s week2, then day1 (沒) 相接s 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實例, then week持續 是 " 周計(s)".
```(=>
(instance ?WEEK Week)
(duration
?WEEK
(MeasureFn 1 WeekDuration)))```

If week實例, then ""week 分解成 ? s" 中 實例 的 數目" 等於 .
```(=>
(instance ?WEEK Week)
(equal
(CardinalityFn
(TemporalCompositionFn ?WEEK Day))
7))```