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

# 持續時間 (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

 種類

可繼承關係

二元述詞
 不對稱關係
 全值關係

持續時間

## 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 positiontime2部分 and there exists inst so that instproc實例 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 time1interval-type實例 and time2class實例, 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))```