SUMO   View all facts   Glossary   Help Entity > Abstract > Quantity > Number > RealNumber
Next NumberComplexNumber    UpNumber    Previous NumberNonspecificNumber

 RealNumber comparison table
 is an instance of documentation is a kind of have axiom Subject BinaryNumber Elements from the number system with base 2. Every BinaryNumber is expressed as a sequence of the digits 1 and 0 RealNumber `(=> (instance ?NUMBER ImaginaryNumber) (instance ?NUMBER (RelativeComplementFn Number RealNumber)))` NegativeRealNumber A RealNumber that is less than zero RealNumber `(=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1))` NonnegativeRealNumber A RealNumber that is greater than or equal to zero RealNumber `(=> (instance ?NUMBER NonnegativeRealNumber) (or (equal (SignumFn ?NUMBER) 1) (equal (SignumFn ?NUMBER) 0)))` Pi RealNumber Pi 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 Integers RealNumber `(=> (instance ?NUMBER RationalNumber) (exists (?INT1 ?INT2) (and (instance ?INT1 Integer) (instance ?INT2 Integer) (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))`

Next NumberComplexNumber    UpNumber    Previous NumberNonspecificNumber