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 (=> (instance ?NUMBER ComplexNumber) (exists (?PART1 ?PART2) (and (equal ?PART1 (RealNumberFn ?NUMBER)) (equal ?PART2 (ImaginaryPartFn ?NUMBER)))))
	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