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

星期六 (Saturday)

The Class of all calendar Saturdays.

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
  日  
is subclass of
  星期六  

Coordinate term(s)

星期五  星期一  星期日  星期四  星期二  星期三 

Related WordNet synsets

Saturday, Sat
the seventh and last day of the week; the Jewish Sabbath
Saturday is kind of (all)...   Saturday is kind of...   Saturday is part of...  
See more related synsets on a separate page.

Axioms (2)

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