HourIntervalFn Comparison Table

Next BinaryFunction: IntersectionFn Up: BinaryFunction, TemporalRelation Previous BinaryFunction: HourFn

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 distributes The Class of Functions that require two arguments
(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))
TernaryRelation

TemporalRelation valence subrelation The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
Relation

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

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		distributes	The Class of Functions that require two arguments	(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))	TernaryRelation
TemporalRelation			valence		subrelation	The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))	Relation
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

Next BinaryFunction: IntersectionFn Up: BinaryFunction, TemporalRelation Previous BinaryFunction: HourFn