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

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
  常量  
is subclass of
  時間單位  
is subclass of
  時間  
is subclass of
  時段  
is subclass of
  週  

Coordinate term(s)

日  小時  分  月  秒  年 

Related WordNet synsets

week, calendar week
a period of seven consecutive days starting on Sunday
week is kind of (all)...   week is kind of...   week is part of...   parts of week...  
week, hebdomad
any period of seven consecutive days; "it rained for a week"
week is kind of (all)...   week is kind of...   kinds of week...   kinds of week (all)...   parts of week...  
See more related synsets on a separate page.

Axioms (9)

If day1 是 星期一 的 實例 and day2 是 星期二 的 實例 and week 是 週 的 實例 and day1 是 week 的 部分 and day2 是 week 的 部分, 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 day1 是 week 的 部分 and day2 是 week 的 部分, 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 day1 是 week 的 部分 and day2 是 week 的 部分, 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 day1 是 week 的 部分 and day2 是 week 的 部分, 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 day1 是 week 的 部分 and day2 是 week 的 部分, 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 day1 是 week 的 部分 and day2 是 week 的 部分, 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 day1 是 week1 的 部分 and day2 是 week2 的 部分 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))