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

星期五 (Friday)

The Class of all calendar Fridays.

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

Friday, Fri
the sixth day of the week; the fifth working day
Friday is kind of (all)...   Friday is kind 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 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))