HourIntervalFn | PositiveRealNumber | PositiveRealNumber | identityElement | TimeInterval | distributes | A BinaryFunction that maps two numbers to the Class of TimeIntervals that begin at the hour corresponding to the first number and that end at the hour corresponding to the second number. For example, (HourIntervalFn 6 12) returns the set of TimeIntervals that begin at 6 AM every day and that end at 12 noon every day. If necessary, we will define other interval functions for seconds, minutes, days, and/or months | (=> (instance ?INTERVAL (HourIntervalFn ?NUMBER1 ?NUMBER2)) (and (lessThan ?NUMBER1 24) (lessThan ?NUMBER2 24) (lessThan ?NUMBER1 ?NUMBER2)))
| | TemporalRelation |