SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimePoint > NegativeInfinity |
NegativeInfinity | ||||
subject | fact |
NegativeInfinity | documentation The TimePoint that is before all other TimePoints | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (equal (BeginFn (PastFn ?TIME)) NegativeInfinity) | ||
is an instance of TimePoint | ||
TimePoint | is first domain of before | |
is first domain of beforeEq | ||
is first domain of temporallyBetween | ||
is first domain of temporallyBetweenOrEqual | ||
is first domain of temporalPart | ||
is second domain of before | ||
is second domain of beforeEq | ||
is second domain of temporallyBetween | ||
is second domain of temporallyBetweenOrEqual | ||
is second domain of WhereFn | ||
is third domain of temporallyBetween | ||
is third domain of temporallyBetweenOrEqual | ||
TimePosition | is partitioned into TimeInterval, TimePoint | |
Abstract | is disjoint from Physical |
Next TimePoint: PositiveInfinity Up: TimePoint