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