SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > RationalNumber |
RationalNumber comparison table |
Subject | documentation | be disjoint from | is a kind of | be second domain of | be first domain of | partition into | have axiom |
---|---|---|---|---|---|---|---|
Integer | A negative or nonnegative whole number | Physical | RationalNumber | singleValued | YearFn | OddInteger, EvenInteger | (=> |
Next RealNumber: BinaryNumber Up: RealNumber Previous RealNumber: Pi