SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber
Next Number: ComplexNumber    Up: Number    Previous Number: NonspecificNumber   

RealNumber comparison table
Subject is an instance of documentation is a kind of have axiom
BinaryNumber Elements from the number system with base 2. Every BinaryNumber is expressed as a sequence of the digits 1 and 0RealNumber
(=>
    (instance ?NUMBER ImaginaryNumber)
    (instance ?NUMBER (RelativeComplementFn Number RealNumber)))
NegativeRealNumber A RealNumber that is less than zeroRealNumber
(=>
    (instance ?NUMBER NegativeRealNumber)
    (equal (SignumFn ?NUMBER) -1))
NonnegativeRealNumber A RealNumber that is greater than or equal to zeroRealNumber
(=>
    (instance ?NUMBER NonnegativeRealNumber)
    (or
       (equal (SignumFn ?NUMBER) 1)
       (equal (SignumFn ?NUMBER) 0)))
PiRealNumberPi is the RealNumber that is the ratio of the perimeter of a circle to its diameter. It is approximately equal to 3.141592653589793 
(=>
    (instance ?NUMBER ImaginaryNumber)
    (instance ?NUMBER (RelativeComplementFn Number RealNumber)))
RationalNumber Any RealNumber that is the product of dividing two IntegersRealNumber
(=>
    (instance ?NUMBER RationalNumber)
    (exists (?INT1 ?INT2)
       (and
          (instance ?INT1 Integer)
          (instance ?INT2 Integer)
          (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))

Next Number: ComplexNumber    Up: Number    Previous Number: NonspecificNumber