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 7071-7071 | |
(documentation DayDuration JapaneseLanguage "時間単位。1 日 = 24 時間。") | japanese_format.kif 1286-1286 | |
(instance DayDuration TimeDuration) | Merge.kif 7070-7070 | |
(instance DayDuration UnitOfDuration) | Merge.kif 7069-7069 |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Day DayDuration) | Merge.kif 9216-9216 | |
(termFormat ChineseLanguage DayDuration "一天长度") | domainEnglishFormat.kif 18651-18651 | |
(termFormat ChineseTraditionalLanguage DayDuration "一天長度") | domainEnglishFormat.kif 18650-18650 | |
(termFormat EnglishLanguage DayDuration "day duration") | domainEnglishFormat.kif 18649-18649 |
antecedent |
![]() |
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER)) |
Merge.kif 9447-9451 | |
(=> (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 7108-7112 | |
(=> (equal (MeasureFn 1 MonthDuration) (MeasureFn ?NUMBER DayDuration)) (lessThanOrEqualTo ?NUMBER 31)) |
Merge.kif 7114-7118 |
consequent |
![]() |
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration))) |
Merge.kif 9057-9062 | |
(=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration))) |
Merge.kif 9050-9055 | |
(=> (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 ?AGENT ?HP) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (instance ?R ?ROOM) (element ?R (PropertyFn ?HOTEL)) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL))))) |
Hotel.kif 2744-2757 | |
(=> (attribute ?Order DayOrder) (and (agreementPeriod ?Order ?Period) (duration ?Period (MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 2953-2957 | |
(=> (instance ?DAY Day) (duration ?DAY (MeasureFn 1 DayDuration))) |
Merge.kif 9220-9222 | |
(=> (instance ?H Hanukkah) (duration ?H (MeasureFn 8 DayDuration))) |
Media.kif 580-582 | |
(=> (instance ?Loan DayLoan) (and (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 1579-1583 | |
(=> (instance ?MONTH April) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9088-9090 | |
(=> (instance ?MONTH August) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9144-9146 | |
(=> (instance ?MONTH December) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9201-9203 | |
(=> (instance ?MONTH January) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9036-9038 | |
(=> (instance ?MONTH July) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9130-9132 | |
(=> (instance ?MONTH June) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9116-9118 | |
(=> (instance ?MONTH March) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9074-9076 | |
(=> (instance ?MONTH May) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9102-9104 | |
(=> (instance ?MONTH November) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9187-9189 | |
(=> (instance ?MONTH October) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9173-9175 | |
(=> (instance ?MONTH September) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9159-9161 | |
(=> (instance ?T1 Lent) (duration ?T1 (MeasureFn 40 DayDuration))) |
Media.kif 455-457 |
statement |
![]() |
![]() |
![]() |