SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > NegativeRealNumber |
NegativeRealNumber comparison table |
Subject | documentation | be disjoint from | is a kind of | be second domain of | be first domain of | partition into | have axiom |
---|---|---|---|---|---|---|---|
NegativeInteger | An Integer that is less than zero | Physical | NegativeRealNumber | singleValued | YearFn | OddInteger, EvenInteger | (<=> |
Next RealNumber: NonnegativeRealNumber Up: RealNumber Previous RealNumber: BinaryNumber