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 (=> (instance ?NUMBER PositiveRealNumber) (greaterThan ?NUMBER 0))
	has axiom (=> (instance ?NUMBER PositiveRealNumber) (equal (SignumFn ?NUMBER) 1))
	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 :

• PositiveInteger (10 facts) - An Integer that is greater than zero