SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > NonnegativeRealNumber > NonnegativeInteger > PositiveInteger |
PositiveInteger | ||||
subject | fact |
PositiveInteger | documentation An Integer that is greater than zero | |
has axiom (<=> | ||
is first domain of DayFn | ||
is first domain of MonthFn | ||
is second domain of domain | ||
is second domain of domainSubclass | ||
is second domain of LogFn | ||
is second domain of valence | ||
is a kind of NonnegativeInteger | ||
is a kind of PositiveRealNumber | ||
Integer | is partitioned into NegativeInteger, NonnegativeInteger | |
is partitioned into OddInteger, EvenInteger | ||
Abstract | is disjoint from Physical |