持續時間 (duration)

(duration pos time) means that the duration of the TimePosition pos is time. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

種類

可繼承關係

二元述詞

不對稱關係

全值關係

持續時間

Coordinate term(s)

反面函數計數函數正面函數主體函數或然率函數表皮函數弧線重量屬性作者先於或同時肇因次類肇因公民封閉於填滿相連的包含訊息共生複製相交日期降低可能性發展期形式無交集分配文字說明較早編者元素雇用相等等同關係於利用以...語言表達面對家族關係填充完成次數圖部分大於大於或等於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中增加可能性獨立或然率居住抑制初始化序列實例倒序非反射於... 大於小於小於或等於方式/情狀物質測量時段相接成員情態屬性時段重疊雙親偏序於... 部分填充部分位於路徑長穿入擁有先決條件避免正部分適當填充特性出版範圍範圍次種類實現提及反射於... SUMO內部相關概念兄弟姊妹小於開始次屬性次聚集次圖次序列次歷程次命題次種類次關係包含訊息種類包含訊息實例續接屬性封閉續接屬性表面時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

duration(時段, 持續時間)

Related WordNet synsets

duration, length: continuance in time; "the ceremony was of short duration"; "he complained about the length of time required"
duration, continuance: the property of enduring or continuing in time
span: the complete duration of something; "the job was finished in the span of an hour"

See more related synsets on a separate page.

Axioms (22)

if 每 time1 發生 proc,
then for all time2 holds: if time2 的持續是 time1, then there exists position so that position 是 time2 的部分 and there exists inst so that inst 是 proc 的實例 positiona(之中) position

(=>
      (frequency ?PROC ?TIME1)
      (forall
            (?TIME2)
            (=>
                  (duration ?TIME2 ?TIME1)
                  (exists
                        (?POSITION)
                        (and
                              (temporalPart ?POSITION ?TIME2)
                              (holdsDuring
                                    ?POSITION
                                    (exists
                                          (?INST)
                                          (instance ?INST ?PROC))))))))

If year 是年的實例, then year 的持續是 " 年計(s)".

(=>
      (instance ?YEAR Year)
      (duration
            ?YEAR
            (MeasureFn 1 YearDuration)))

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

If day 是日的實例, then day 的持續是 " 日計(s)".

(=>
      (instance ?DAY Day)
      (duration
            ?DAY
            (MeasureFn 1 DayDuration)))

If week 是週的實例, then week 的持續是 " 周計(s)".

(=>
      (instance ?WEEK Week)
      (duration
            ?WEEK
            (MeasureFn 1 WeekDuration)))

If hour 是小時的實例, then hour 的持續是 " 時計(s)".

(=>
      (instance ?HOUR Hour)
      (duration
            ?HOUR
            (MeasureFn 1 HourDuration)))

If minute 是分的實例, then minute 的持續是 " 分計(s)".

(=>
      (instance ?MINUTE Minute)
      (duration
            ?MINUTE
            (MeasureFn 1 MinuteDuration)))

If second 是秒的實例, then second 的持續是 " 秒計(s)".

(=>
      (instance ?SECOND Second)
      (duration
            ?SECOND
            (MeasureFn 1 SecondDuration)))

if "interval 分解成 ? interval-types" 等於 class,
then for all time1,time2 holds: if time1 是 interval-type 的實例 and time2 是 class 的實例, then there exists duration so that time1 的持續是 duration and time2 的持續是 duration

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?INTERVAL-TYPE)
                        (instance ?TIME2 ?CLASS))
                  (exists
                        (?DURATION)
                        (and
                              (duration ?TIME1 ?DURATION)
                              (duration ?TIME2 ?DURATION))))))

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