(=>
(instance ?MONTH January)
(duration ?MONTH
(MeasureFn 31 DayDuration))) |
Merge.kif 9254-9256 |
If X is an instance of January, then duration of X is 31 day duration(s) |
(=>
(and
(instance ?MONTH
(MonthFn February ?YEAR))
(instance ?Y ?YEAR)
(not
(instance ?Y LeapYear)))
(duration ?MONTH
(MeasureFn 28 DayDuration))) |
Merge.kif 9268-9273 |
If X is an instance of the month February, Y is an instance of Z, and Y is not an instance of leap year, then duration of X is 28 day duration(s) |
(=>
(and
(instance ?MONTH
(MonthFn February ?YEAR))
(instance ?Y ?YEAR)
(instance ?Y LeapYear))
(duration ?MONTH
(MeasureFn 29 DayDuration))) |
Merge.kif 9275-9280 |
If X is an instance of the month February, Y is an instance of Z, and Y is an instance of leap year, then duration of X is 29 day duration(s) |
(=>
(instance ?MONTH March)
(duration ?MONTH
(MeasureFn 31 DayDuration))) |
Merge.kif 9292-9294 |
If X is an instance of March, then duration of X is 31 day duration(s) |
(=>
(instance ?MONTH April)
(duration ?MONTH
(MeasureFn 30 DayDuration))) |
Merge.kif 9306-9308 |
If X is an instance of April, then duration of X is 30 day duration(s) |
(=>
(instance ?MONTH May)
(duration ?MONTH
(MeasureFn 31 DayDuration))) |
Merge.kif 9320-9322 |
If X is an instance of May, then duration of X is 31 day duration(s) |
(=>
(instance ?MONTH June)
(duration ?MONTH
(MeasureFn 30 DayDuration))) |
Merge.kif 9334-9336 |
If X is an instance of June, then duration of X is 30 day duration(s) |
(=>
(instance ?MONTH July)
(duration ?MONTH
(MeasureFn 31 DayDuration))) |
Merge.kif 9348-9350 |
If X is an instance of July, then duration of X is 31 day duration(s) |
(=>
(instance ?MONTH August)
(duration ?MONTH
(MeasureFn 31 DayDuration))) |
Merge.kif 9362-9364 |
If X is an instance of August, then duration of X is 31 day duration(s) |
(=>
(instance ?MONTH September)
(duration ?MONTH
(MeasureFn 30 DayDuration))) |
Merge.kif 9377-9379 |
If X is an instance of September, then duration of X is 30 day duration(s) |
(=>
(instance ?MONTH October)
(duration ?MONTH
(MeasureFn 31 DayDuration))) |
Merge.kif 9391-9393 |
If X is an instance of October, then duration of X is 31 day duration(s) |
(=>
(instance ?MONTH November)
(duration ?MONTH
(MeasureFn 30 DayDuration))) |
Merge.kif 9405-9407 |
If X is an instance of November, then duration of X is 30 day duration(s) |
(=>
(instance ?MONTH December)
(duration ?MONTH
(MeasureFn 31 DayDuration))) |
Merge.kif 9419-9421 |
If X is an instance of December, then duration of X is 31 day duration(s) |
(=>
(instance ?DAY Day)
(duration ?DAY
(MeasureFn 1 DayDuration))) |
Merge.kif 9438-9440 |
If X is an instance of day, then duration of X is 1 day duration(s) |
(=>
(instance ?Loan DayLoan)
(and
(agreementPeriod ?Loan ?Period)
(duration ?Period
(MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 1621-1625 |
If X is an instance of day loan, then Y is an agreement period of X and duration of Y is 1 day duration(s) |
(=>
(instance ?Order DayOrder)
(and
(agreementPeriod ?Order ?Period)
(duration ?Period
(MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 2959-2963 |
If X is an instance of day order, then Y is an agreement period of X and duration of Y is 1 day duration(s) |
(=>
(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 2762-2775 |
If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S |
(=>
(instance ?T1 Lent)
(duration ?T1
(MeasureFn 40 DayDuration))) |
Media.kif 449-451 |
If X is an instance of lent, then duration of X is 40 day duration(s) |
(=>
(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 467-476 |
If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of palm sunday (4) Y takes place during X (5) Z takes place during X (6) Z starts W (7) Y finishes W, then duration of W is 8 day duration(s) |
(=>
(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 532-541 |
If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of ascension thursday (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 40 day duration(s) |
(=>
(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 553-562 |
If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of Pentecost (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 50 day duration(s) |
(=>
(instance ?H Hanukkah)
(duration ?H
(MeasureFn 8 DayDuration))) |
Media.kif 574-576 |
If X is an instance of hanukkah, then duration of X is 8 day duration(s) |
(=>
(and
(instance ?I NonnegativeInteger)
(equal ?I
(NumberOfDaysInMonthFn ?M ?Y))
(not
(equal ?M February))
(instance ?Y ?YEAR)
(instance ?MONTH
(MonthFn ?M ?YEAR)))
(duration ?MONTH
(MeasureFn ?I DayDuration))) |
Weather.kif 670-680 |
If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, Z is an instance of W, and V is an instance of the month Y, then duration of V is X day duration(s) |
InferiorLabialArtery