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

星期一 (Monday)

The Class of all calendar Mondays.

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

Monday, Mon
the second day of the week; the first working day
Monday is kind of (all)...   Monday is kind of...   kinds of Monday...   kinds of Monday (all)...  
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 Monday)
            (instance ?DAY2 Tuesday)
            (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))