SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure

TimeMeasure
subject			fact

TimeMeasure	documentation The class of temporal durations (instances of TimeDuration) and positions of TimePoints and TimeIntervals along the universal timeline (instances of TimePosition)
	has axiom (=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))
	is a kind of ConstantQuantity
ConstantQuantity	is first domain of MagnitudeFn
	is second domain of measure
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	is disjoint from Physical

Kinds of TimeMeasure :

• TimeDuration (8 kinds, 47 facts) - Any measure of length of time, with or without respect to the universal timeline
• TimePosition (10 kinds, 109 facts) - Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity