TimeMeasure Comparison Table

Next ConstantQuantity: VolumeMeasure Up: ConstantQuantity Previous ConstantQuantity: ThermodynamicTemperatureMeasure

TimeMeasure comparison table

Subject documentation be first domain of be second domain of partition into have axiom

TimeDuration Any measure of length of time, with or without respect to the universal timeline MagnitudeFn frequency ConstantQuantity, FunctionQuantity
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))

TimePosition Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity PastFn time TimeInterval, TimePoint
(=>
(and
(instance ?TIME TimePosition)
(holdsDuring ?TIME (possesses ?AGENT1 ?OBJ))
(holdsDuring ?TIME (possesses ?AGENT2 ?OBJ)))
(equal ?AGENT1 ?AGENT2))

Subject	documentation	be first domain of	be second domain of	partition into	have axiom
TimeDuration	Any measure of length of time, with or without respect to the universal timeline	MagnitudeFn	frequency	ConstantQuantity, FunctionQuantity	(=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))
TimePosition	Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity	PastFn	time	TimeInterval, TimePoint	(=> (and (instance ?TIME TimePosition) (holdsDuring ?TIME (possesses ?AGENT1 ?OBJ)) (holdsDuring ?TIME (possesses ?AGENT2 ?OBJ))) (equal ?AGENT1 ?AGENT2))

Next ConstantQuantity: VolumeMeasure Up: ConstantQuantity Previous ConstantQuantity: ThermodynamicTemperatureMeasure