SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > HourIntervalFn
Next BinaryFunctionIntersectionFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionHourFn   

HourIntervalFndocumentation 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 months2001-11-30 13:34:26.0
has axiom
(instance ?INTERVAL (HourIntervalFn ?NUMBER1 ?NUMBER2))
(lessThan ?NUMBER1 24)
(lessThan ?NUMBER2 24)
(lessThan ?NUMBER1 ?NUMBER2)))
2001-11-30 13:34:26.0
has domain1 PositiveRealNumber2001-11-30 13:34:26.0
has domain2 PositiveRealNumber2001-11-30 13:34:26.0
has range TimeInterval2001-11-30 13:34:26.0
is an instance of BinaryFunction2001-11-30 13:34:26.0
is an instance of TemporalRelation2001-11-30 13:34:26.0
BinaryFunctionis first domain of distributes2001-11-30 13:33:43.0
is first domain of identityElement2001-11-30 13:33:43.0
is second domain of distributes2001-11-30 13:33:43.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0