SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > NegativeRealNumber > NegativeInteger
Next Integer: NonnegativeInteger    Up: Integer, NegativeRealNumber    Previous Integer: EvenInteger   

NegativeInteger
subjectfact 
NegativeIntegerdocumentation An Integer that is less than zero2001-11-30 13:34:48.0
has axiom 
(<=>
      (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
      (or 
          (and 
               (instance ?NUMBER1 PositiveInteger)
               (equal ?NUMBER1 ?NUMBER2))     
          (and 
               (instance ?NUMBER1 NegativeInteger)
               (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))
2001-11-30 13:34:48.0
is a kind of Integer2001-11-30 13:34:48.0
is a kind of NegativeRealNumber2001-11-30 13:34:48.0
Integeris first domain of PredecessorFn2001-11-30 13:34:31.0
is first domain of SuccessorFn2001-11-30 13:34:31.0
is first domain of YearFn2001-11-30 13:34:31.0
is second domain of ExponentiationFn2001-11-30 13:34:31.0
is second domain of singleValued2001-11-30 13:34:31.0
is partitioned into NegativeInteger, NonnegativeInteger2001-11-30 13:34:31.0
is partitioned into OddInteger, EvenInteger2001-11-30 13:34:31.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0