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