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

HourIntervalFn comparison table
Subject have domain2 have domain1 be first domain of have range be second domain of documentation have axiom is a kind of is an instance of
BinaryFunction  identityElement distributesThe Class of Functions that require two arguments
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))
TemporalRelation  valence subrelationThe Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
HourIntervalFnPositiveRealNumberPositiveRealNumberidentityElementTimeIntervaldistributesA 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))
(lessThan ?NUMBER1 24)
(lessThan ?NUMBER2 24)
(lessThan ?NUMBER1 ?NUMBER2)))

Next BinaryFunctionIntersectionFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionHourFn