SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > Number > ComplexNumber |
ComplexNumber comparison table |
Subject | documentation | be disjoint from | is a kind of | be first domain of | have axiom |
---|---|---|---|---|---|
Number | A measure of how many things there are, or how much there is, of a certain kind. Numbers are subclassed into RealNumber and ComplexNumber (ImaginaryNumber is an instance of Number) | Physical | Quantity | RealNumberFn | (<=> |
ComplexNumber | A Number that consists of two components: a RealNumber and the ImaginaryNumber | RealNumber | Number | ImaginaryPartFn | (=> |
Next Number: ImaginaryNumber Up: Number Previous Number: RealNumber