SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > ImaginaryNumber |
ImaginaryNumber | ||||
subject | fact |
ImaginaryNumber | documentation The square root of -1 | |
has axiom (=> | ||
is an instance of Number | ||
Number | is first domain of RationalNumberFn | |
is first domain of RealNumberFn | ||
Quantity | is second domain of AdditionFn | |
is second domain of DivisionFn | ||
is second domain of greaterThan | ||
is second domain of greaterThanOrEqualTo | ||
is second domain of lessThan | ||
is second domain of lessThanOrEqualTo | ||
is second domain of MaxFn | ||
is second domain of MinFn | ||
is second domain of MultiplicationFn | ||
is second domain of RemainderFn | ||
is second domain of SubtractionFn | ||
Abstract | is disjoint from Physical |
Next Number: NonspecificNumber Up: Number Previous Number: ComplexNumber