SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > RealNumber > RationalNumber > Integer |
Integer | ||||
subject | fact |
Integer | documentation A negative or nonnegative whole number | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
is first domain of PredecessorFn | ||
is first domain of SuccessorFn | ||
is first domain of YearFn | ||
is second domain of ExponentiationFn | ||
is second domain of singleValued | ||
is partitioned into NegativeInteger, NonnegativeInteger | ||
is partitioned into OddInteger, EvenInteger | ||
is a kind of RationalNumber | ||
Abstract | is disjoint from Physical |
Kinds of Integer :
Up: RationalNumber