SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure
Next ConstantQuantityVolumeMeasure    UpConstantQuantity    Previous ConstantQuantityThermodynamicTemperatureMeasure   

TimeMeasure
subjectfact 
TimeMeasuredocumentation The class of temporal durations (instances of TimeDuration) and positions of TimePoints and TimeIntervals along the universal timeline (instances of TimePosition)2001-11-30 13:35:27.0
has axiom
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))
2001-11-30 13:35:27.0
is a kind of ConstantQuantity2001-11-30 13:35:27.0
ConstantQuantityis first domain of MagnitudeFn2001-11-30 13:33:55.0
is second domain of measure2001-11-30 13:33:55.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of TimeMeasure :