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

日 (Day)

The Class of all calendar Days.

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
  日  

Subclass(es)

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

Coordinate term(s)

小時  分  月  秒  週  年 

Constrains relations

日函數  小時函數  日期 

Related WordNet synsets

day
the recurring hours established by contract or usage for work; "it was a busy day on the stock exchange"
day is kind of (all)...   day is kind of...   kinds of day...   kinds of day (all)...  
day, twenty-four hours, solar day, mean solar day
time for Earth to make a complete rotation on its axis; "two days later they left"; "they put on two performances every day"; "there are 30,000 passangers per day"
day is kind of (all)...   day is kind of...   kinds of day...   kinds of day (all)...   parts of day...  
calendar day, civil day
a day reckoned from midnight to midnight
calendar day is kind of (all)...   calendar day is kind of...   kinds of calendar day...   kinds of calendar day (all)...   calendar day is part of...  
See more related synsets on a separate page.

Axioms (6)

日 內部相關於 日函數. 
(relatedInternalConcept Day DayFn)
日 內部相關於 日計. 
(relatedInternalConcept Day DayDuration)
If day 是 日 的 實例, then day 的 持續 是 " 日計(s)". 
(=>
      (instance ?DAY Day)
      (duration
            ?DAY
            (MeasureFn 1 DayDuration)))
If month 是 月 的 實例 and month 的 持續 是 "number 日計(s)", then ""month 分解成 ? 日s" 中 實例 的 數目" 等於 number. 
(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))
If week 是 週 的 實例, then ""week 分解成 ? 日s" 中 實例 的 數目" 等於 . 
(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))
If day 是 日 的 實例, then ""day 分解成 ? 小時s" 中 實例 的 數目" 等於 . 
(=>
      (instance ?DAY Day)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?DAY Hour))
            24))