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

日計 (DayDuration)

Time unit. 1 day = 24 hours.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

量度單位
is instance of
  日計  

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
  常量  
is subclass of
  時間單位  
is subclass of
  持續時間  
is subclass of
  日計  

Coordinate term(s)

原子質量單位  光譜線波長單位  角度  atom gram  位元  英國熱量單位-BTU  位元組  熱量的單位-卡路里  公分  半品脫之量  電壓單位-電伏特  歐元一分  歐元一元  華氏-度  英尺  時計  英吋  千位元組  公升  百萬位元組  英里  分計  盎司  品脫  力量單位  磅  容量或液量單位  摩擦角度  秒計  質量單位  英制液量單位-加侖  美元一分  美元一元  美制液量單位-加侖  周計  年計 

Related WordNet synsets

sidereal day, day
the time for one complete rotation of the earth relative to a particular star, about 4 minutes shorter than a mean solar day
sidereal day is kind of (all)...   sidereal day is kind of...  
daylong, all day long
during the entire day; "light pours daylong into the parlor"

Axioms (19)

If number 是 實數 的 實例, then "number 日計(s)" 等於 ""number*" 時計(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER DayDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 24)
                  HourDuration)))
If number 是 實數 的 實例, then "number 周計(s)" 等於 ""number*" 日計(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER WeekDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 7)
                  DayDuration)))
If number 是 實數 的 實例, then "number 年計(s)" 等於 ""number*" 日計(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER YearDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 365)
                  DayDuration)))
If month 是 一月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH January)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If "月份 二月" 等於 month and year 是 閏年 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (not
                  (instance ?YEAR LeapYear)))
      (duration
            ?MONTH
            (MeasureFn 28 DayDuration)))
If "月份 二月" 等於 month and year 是 閏年 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (and
            (equal
                  (MonthFn February ?YEAR)
                  ?MONTH)
            (instance ?YEAR LeapYear))
      (duration
            ?MONTH
            (MeasureFn 29 DayDuration)))
If month 是 三月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH March)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month 是 四月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH April)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
If month 是 五月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH May)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month 是 六月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH June)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
If month 是 七月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH July)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month 是 八月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH August)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month 是 九月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH September)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
If month 是 十月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH October)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
If month 是 十一月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH November)
      (duration
            ?MONTH
            (MeasureFn 30 DayDuration)))
If month 是 十二月 的 實例, then month 的 持續 是 " 日計(s)". 
(=>
      (instance ?MONTH December)
      (duration
            ?MONTH
            (MeasureFn 31 DayDuration)))
日 內部相關於 日計. 
(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))