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