HourFn Comparison Table

Next BinaryFunction: HourIntervalFn Up: BinaryFunction, TemporalRelation Previous BinaryFunction: ExponentiationFn

HourFn 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

HourFn Day PositiveRealNumber identityElement Hour distributes A BinaryFunction that maps a number and a Day to the corresponding Hour of the Day. For example, (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912)))) denotes the 14th hour, i.e. 2 PM, on the 18th day of August 1912
(=>
(instance (HourFn ?NUMBER ?DAY) Hour)
(lessThan ?NUMBER 24))
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
HourFn	Day	PositiveRealNumber	identityElement	Hour	distributes	A BinaryFunction that maps a number and a Day to the corresponding Hour of the Day. For example, (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912)))) denotes the 14th hour, i.e. 2 PM, on the 18th day of August 1912	(=> (instance (HourFn ?NUMBER ?DAY) Hour) (lessThan ?NUMBER 24))		TemporalRelation

Next BinaryFunction: HourIntervalFn Up: BinaryFunction, TemporalRelation Previous BinaryFunction: ExponentiationFn