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 (=> | ||
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 :