SUMO View all facts Glossary Help| 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