SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > PositiveRealNumber |
PositiveRealNumber | ||||
subject | fact |
PositiveRealNumber | documentation A RealNumber that is greater than zero | |
has axiom (=> | ||
has axiom (=> | ||
is first domain of HourFn | ||
is first domain of HourIntervalFn | ||
is first domain of MinuteFn | ||
is first domain of SecondFn | ||
is second domain of HourIntervalFn | ||
is a kind of NonnegativeRealNumber | ||
RealNumber | is partitioned into NegativeRealNumber, NonnegativeRealNumber | |
Abstract | is disjoint from Physical |
Kinds of PositiveRealNumber :