TimeDuration(持续时间) | ![]() |
appearance as argument number 1 |
![]() |
(documentation TimeDuration ChineseLanguage "这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。") | chinese_format.kif 1781-1782 | |
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") | Merge.kif 2052-2053 | |
(subclass TimeDuration TimeMeasure) | Merge.kif 2050-2050 | 持续时间 是 时间单位 的 subclass |
appearance as argument number 2 |
![]() |
(instance DayDuration TimeDuration) | Merge.kif 7051-7051 | 一天长度 是 持续时间 的 instance |
(instance DecadeDuration TimeDuration) | Merge.kif 8721-8721 | DecadeDuration 是 持续时间 的 instance |
(instance HourDuration TimeDuration) | Merge.kif 7059-7059 | 小时 是 持续时间 的 instance |
(instance MinuteDuration TimeDuration) | Merge.kif 7067-7067 | 分钟 是 持续时间 的 instance |
(instance MonthDuration TimeDuration) | Merge.kif 7084-7084 | 月持续时间 是 持续时间 的 instance |
(instance SecondDuration TimeDuration) | Merge.kif 6676-6676 | 第二期 是 持续时间 的 instance |
(instance WeekDuration TimeDuration) | Merge.kif 7075-7075 | 周持续时间 是 持续时间 的 instance |
(instance YearDuration TimeDuration) | Merge.kif 7102-7102 | 年持续时间 是 持续时间 的 instance |
(termFormat ChineseLanguage TimeDuration "持续时间") | chinese_format.kif 878-878 | |
(termFormat EnglishLanguage TimeDuration "time duration") | english_format.kif 958-958 |
appearance as argument number 3 |
![]() |
consequent |
![]() |
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfDuration)) (instance ?QUANT TimeDuration)) |
Merge.kif 6367-6371 | |
(=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?DURATION ?CURR) (and (instance ?CURR CurrencyMeasure) (instance ?DURATION TimeDuration) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 505-511 | |
(=> (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (exists (?DURATION ?CURR) (and (instance ?DURATION TimeDuration) (instance ?CURR CurrencyMeasure) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 459-465 |
![]() |
![]() |