SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > NonnegativeInteger
Next Integer: OddInteger    Up: Integer, NonnegativeRealNumber    Previous Integer: NegativeInteger   

NonnegativeInteger comparison table
Subject documentation be disjoint from is a kind of be second domain of be first domain of partition into have axiom
PositiveIntegerAn Integer that is greater than zeroPhysicalPositiveRealNumbervalenceMonthFnOddInteger, EvenInteger
(<=>
      (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
      (or 
          (and 
               (instance ?NUMBER1 PositiveInteger)
               (equal ?NUMBER1 ?NUMBER2))     
          (and 
               (instance ?NUMBER1 NegativeInteger)
               (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))

Next Integer: OddInteger    Up: Integer, NonnegativeRealNumber    Previous Integer: NegativeInteger