DayDuration(一天長度) |
appearance as argument number 1 |
(documentation DayDuration ChineseLanguage "这是时间单位,1日 = 24小时。") | chinese_format.kif 2579-2579 | |
(documentation DayDuration EnglishLanguage "Time unit. 1 day = 24 hours.") | Merge.kif 7086-7086 | |
(documentation DayDuration JapaneseLanguage "時間単位。1 日 = 24 時間。") | japanese_format.kif 1286-1286 | |
(instance DayDuration TimeDuration) | Merge.kif 7085-7085 | 例 一天長度 and TimeDuration |
(instance DayDuration UnitOfDuration) | Merge.kif 7084-7084 | 例 一天長度 and UnitOfDuration |
appearance as argument number 2 |
(relatedInternalConcept Day DayDuration) | Merge.kif 9268-9268 | 相關的內部概念 Day and 一天長度 |
(termFormat ChineseLanguage DayDuration "一天长度") | domainEnglishFormat.kif 18654-18654 | |
(termFormat ChineseTraditionalLanguage DayDuration "一天長度") | domainEnglishFormat.kif 18653-18653 | |
(termFormat EnglishLanguage DayDuration "day duration") | domainEnglishFormat.kif 18652-18652 |
antecedent |
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER)) |
Merge.kif 9499-9503 |
|
(=> (and (instance ?P Passover) (duration ?P (MeasureFn ?N DayDuration))) (or (equal ?N 7) (equal ?N 8))) |
Media.kif 611-617 |
|
(=> (equal (MeasureFn 1 MonthDuration) (MeasureFn ?NUMBER DayDuration)) (greaterThanOrEqualTo ?NUMBER 28)) |
Merge.kif 7123-7127 |
|
(=> (equal (MeasureFn 1 MonthDuration) (MeasureFn ?NUMBER DayDuration)) (lessThanOrEqualTo ?NUMBER 31)) |
Merge.kif 7129-7133 |
|
consequent |
statement |