SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > NonnegativeInteger > PositiveInteger
Up: NonnegativeInteger, PositiveRealNumber

PositiveInteger
subjectfact 
PositiveIntegerdocumentation An Integer that is greater than zero2001-11-30 13:35:01.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:35:01.0
is first domain of DayFn2001-11-30 13:35:01.0
is first domain of MonthFn2001-11-30 13:35:01.0
is second domain of domain2001-11-30 13:35:01.0
is second domain of domainSubclass2001-11-30 13:35:01.0
is second domain of LogFn2001-11-30 13:35:01.0
is second domain of valence2001-11-30 13:35:01.0
is a kind of NonnegativeInteger2001-11-30 13:35:01.0
is a kind of PositiveRealNumber2001-11-30 13:35:01.0
Integeris 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