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

NegativeInteger comparison table
Subject documentation is a kind of be second domain of be first domain of partition into have axiom
IntegerA negative or nonnegative whole numberRationalNumbersingleValuedYearFnOddInteger, EvenInteger
(=>
    (instance ?NUMBER RationalNumber)
    (exists (?INT1 ?INT2)
       (and
          (instance ?INT1 Integer)
          (instance ?INT2 Integer)
          (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))
NegativeRealNumberA RealNumber that is less than zeroRealNumberSubtractionFnSquareRootFnNegativeRealNumber, NonnegativeRealNumber
(=>
    (instance ?NUMBER NegativeRealNumber)
    (equal (SignumFn ?NUMBER) -1))
NegativeIntegerAn Integer that is less than zeroNegativeRealNumbersingleValuedYearFnOddInteger, EvenInteger
(<=>
      (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
      (or 
          (and 
               (instance ?NUMBER1 PositiveInteger)
               (equal ?NUMBER1 ?NUMBER2))     
          (and 
               (instance ?NUMBER1 NegativeInteger)
               (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))

Next Integer: NonnegativeInteger    Up: Integer, NegativeRealNumber    Previous Integer: EvenInteger