(=> (instance ?DAY Day) (duration ?DAY DayDuration))
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))
(equal (MeasureFn ?NUMBER YearDuration) (MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))
Next TimeDuration: HourDuration Up: TimeDuration, UnitOfMeasure Previous TimeDuration: YearDuration