| TimeDuration(時間分) | |
| appearance as argument number 1 |
|
|
| (documentation TimeDuration ChineseLanguage "这是任何量度时间的衡量，它可以是是基于通用时间轴的， 也可以是不基于通用时间轴的的。") | Merge.kif 3336-3337 | |
| (documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") | Merge.kif 3333-3334 | |
| (documentation TimeDuration JapaneseLanguage "ユニバーサル タイムラインに関する有無にかかわ らない、時間の長さの任意の尺度。") | Merge.kif 3339-3340 | |
| (subclass TimeDuration TimeMeasure) | Merge.kif 3331-3331 | 時間分 は 時間測定 の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TimeDuration "持续时间") | chinese_format.kif 878-878 | termFormat ChineseLanguage, 時間分 and "持续时间" |
| (termFormat EnglishLanguage TimeDuration "time duration") | english_format.kif 1327-1327 | termFormat EnglishLanguage, 時間分 and "time duration" |
| (termFormat JapaneseLanguage TimeDuration "時間分") | english_format.kif 1328-1328 | termFormat JapaneseLanguage, 時間分 and "時間分" |
| appearance as argument number 3 |
|
|
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfDuration)) (instance ?QUANT TimeDuration)) |
Merge.kif 9229-9233 | |
| (=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?DURATION ?CURR) (and (instance ?CURR CurrencyMeasure) (instance ?DURATION TimeDuration) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 485-491 | |
| (=> (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (exists (?DURATION ?CURR) (and (instance ?DURATION TimeDuration) (instance ?CURR CurrencyMeasure) (equal ?QUANT (PerFn ?CURR ?DURATION))))) |
Catalog.kif 442-448 |
|
|
|