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 6989-6989 | |
(instance DayDuration TimeDuration) | Merge.kif 6988-6988 | |
(instance DayDuration UnitOfDuration) | Merge.kif 6987-6987 |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Day DayDuration) | Merge.kif 9130-9130 | |
(termFormat ChineseLanguage DayDuration "一天长度") | domainEnglishFormat.kif 18645-18645 | |
(termFormat ChineseTraditionalLanguage DayDuration "一天長度") | domainEnglishFormat.kif 18644-18644 | |
(termFormat EnglishLanguage DayDuration "day duration") | domainEnglishFormat.kif 18643-18643 |
antecedent |
![]() |
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER)) |
Merge.kif 9361-9365 | |
(=> (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 7026-7030 | |
(=> (equal (MeasureFn 1 MonthDuration) (MeasureFn ?NUMBER DayDuration)) (lessThanOrEqualTo ?NUMBER 31)) |
Merge.kif 7032-7036 |
consequent |
![]() |
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration))) |
Merge.kif 8971-8976 | |
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration))) |
Merge.kif 8964-8969 | |
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?A AscensionThursday) (during ?E ?Y) (during ?A ?Y) (starts ?E ?I) (finishes ?A ?I)) (duration ?I (MeasureFn 40 DayDuration))) |
Media.kif 538-547 | |
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P PalmSunday) (during ?E ?Y) (during ?P ?Y) (starts ?P ?I) (finishes ?E ?I)) (duration ?I (MeasureFn 8 DayDuration))) |
Media.kif 473-482 | |
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P Pentecost) (during ?E ?Y) (during ?P ?Y) (starts ?E ?I) (finishes ?P ?I)) (duration ?I (MeasureFn 50 DayDuration))) |
Media.kif 559-568 | |
(=> (and (propositionOwner ?HP ?AGENT) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (part ?ROOM ?HOTEL) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL))))) |
Hotel.kif 2714-2726 | |
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration))) |
Merge.kif 9134-9136 | |
(=> (instance ?H Hanukkah) (duration ?H (MeasureFn 8 DayDuration))) |
Media.kif 580-582 | |
(=> (instance ?MONTH April) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9002-9004 | |
(=> (instance ?MONTH August) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9058-9060 | |
(=> (instance ?MONTH December) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9115-9117 | |
(=> (instance ?MONTH January) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 8950-8952 | |
(=> (instance ?MONTH July) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9044-9046 | |
(=> (instance ?MONTH June) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9030-9032 | |
(=> (instance ?MONTH March) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 8988-8990 | |
(=> (instance ?MONTH May) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9016-9018 | |
(=> (instance ?MONTH November) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9101-9103 | |
(=> (instance ?MONTH October) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9087-9089 | |
(=> (instance ?MONTH September) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9073-9075 | |
(=> (instance ?T1 Lent) (duration ?T1 (MeasureFn 40 DayDuration))) |
Media.kif 455-457 |
statement |
![]() |
![]() |
![]() |