SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > ComplexNumber |
ComplexNumber | ||||
subject | fact |
ComplexNumber | documentation A Number that consists of two components: a RealNumber and the ImaginaryNumber | |
has axiom (=> | ||
is disjoint from RealNumber | ||
is first domain of ImaginaryPartFn | ||
is a kind of Number | ||
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 |
Next Number: ImaginaryNumber Up: Number Previous Number: RealNumber