SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > NegativeRealNumber
Next RealNumber: NonnegativeRealNumber    Up: RealNumber    Previous RealNumber: BinaryNumber   

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

Next RealNumber: NonnegativeRealNumber    Up: RealNumber    Previous RealNumber: BinaryNumber