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 2075-2076 | |
(documentation TimeDuration JapaneseLanguage "ユニバーサル タイムラインに関する有無にかかわ らない、時間の長さの任意の尺度。") | japanese_format.kif 394-395 | |
(subclass TimeDuration TimeMeasure) | Merge.kif 2073-2073 |
appearance as argument number 2 |
(instance DayDuration TimeDuration) | Merge.kif 7085-7085 | |
(instance DecadeDuration TimeDuration) | Merge.kif 8792-8792 | |
(instance HourDuration TimeDuration) | Merge.kif 7093-7093 | |
(instance MinuteDuration TimeDuration) | Merge.kif 7101-7101 | |
(instance MonthDuration TimeDuration) | Merge.kif 7118-7118 | |
(instance SecondDuration TimeDuration) | Merge.kif 6710-6710 | |
(instance WeekDuration TimeDuration) | Merge.kif 7109-7109 | |
(instance YearDuration TimeDuration) | Merge.kif 7136-7136 | |
(termFormat ChineseLanguage TimeDuration "持续时间") | chinese_format.kif 878-878 | |
(termFormat EnglishLanguage TimeDuration "time duration") | english_format.kif 958-958 | |
(termFormat FrenchLanguage TimeDuration "dur�e temporel") | french_format.kif 554-554 | |
(termFormat Hindi TimeDuration "samayaavadhi") | terms-hindi.txt 84-84 | |
(termFormat ItalianLanguage TimeDuration "Durata") | terms-it.txt 87-87 | |
(termFormat JapaneseLanguage TimeDuration "時間分") | japanese_format.kif 2239-2239 | |
(termFormat PortugueseLanguage TimeDuration "Duracao Temporal") | portuguese_format.kif 506-506 | |
(termFormat cb TimeDuration "kadugayang oras") | terms-cb.txt 89-89 | |
(termFormat cz TimeDuration "time duration") | terms-cz.txt 121-121 | |
(termFormat ro TimeDuration "duratã") | relations-ro.kif 575-575 | |
(termFormat tg TimeDuration "tagal ng panahon") | terms-tg.txt 88-88 |
appearance as argument number 3 |
consequent |
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfDuration)) (instance ?QUANT TimeDuration)) |
Merge.kif 6401-6405 | |
(=> (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 |