SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimePoint > PositiveInfinity |
PositiveInfinity | ||||
subject | fact |
PositiveInfinity | documentation The TimePoint that is after all other TimePoints | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (equal (EndFn (FutureFn ?TIME)) PositiveInfinity) | ||
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: NegativeInfinity Up: TimePoint