SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > NonnegativeInteger > PositiveInteger
Up: NonnegativeInteger, PositiveRealNumber

PositiveInteger comparison table
Subject documentation is a kind of be first domain of be second domain of partition into have axiom
NonnegativeIntegerAn Integer that is greater than or equal to zeroNonnegativeRealNumberYearFnCardinalityFnOddInteger, EvenInteger
(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
       (and
          (instance ?NUMBER NonnegativeInteger)
          (equal ?NUMBER (CardinalityFn ?SET)))))
PositiveRealNumberA RealNumber that is greater than zeroNonnegativeRealNumberSecondFnHourIntervalFnNegativeRealNumber, NonnegativeRealNumber
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal (SignumFn ?NUMBER) 1))
PositiveIntegerAn Integer that is greater than zeroPositiveRealNumberMonthFnvalenceOddInteger, EvenInteger
(<=>
      (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
      (or 
          (and 
               (instance ?NUMBER1 PositiveInteger)
               (equal ?NUMBER1 ?NUMBER2))     
          (and 
               (instance ?NUMBER1 NegativeInteger)
               (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))

Up: NonnegativeInteger, PositiveRealNumber