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 2015-2016 | |
(subclass TimeDuration TimeMeasure) | Merge.kif 2013-2013 | 持续时间 是 时间单位 的 subclass |
appearance as argument number 2 |
![]() |
(instance DayDuration TimeDuration) | Merge.kif 6988-6988 | 一天长度 是 持续时间 的 instance |
(instance DecadeDuration TimeDuration) | Merge.kif 8658-8658 | DecadeDuration 是 持续时间 的 instance |
(instance HourDuration TimeDuration) | Merge.kif 6996-6996 | 小时 是 持续时间 的 instance |
(instance MinuteDuration TimeDuration) | Merge.kif 7004-7004 | 分钟 是 持续时间 的 instance |
(instance MonthDuration TimeDuration) | Merge.kif 7021-7021 | 月持续时间 是 持续时间 的 instance |
(instance SecondDuration TimeDuration) | Merge.kif 6613-6613 | 第二期 是 持续时间 的 instance |
(instance WeekDuration TimeDuration) | Merge.kif 7012-7012 | 周持续时间 是 持续时间 的 instance |
(instance YearDuration TimeDuration) | Merge.kif 7039-7039 | 年持续时间 是 持续时间 的 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 6304-6308 | |
(=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?DURATION ?CURR) (and (instance ?CURR CurrencyMeasure) (instance ?DURATION TimeDuration) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 500-506 | |
(=> (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (exists (?DURATION ?CURR) (and (instance ?DURATION TimeDuration) (instance ?CURR CurrencyMeasure) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 454-460 |
![]() |
![]() |