SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number > ComplexNumber
Next Number: ImaginaryNumber    Up: Number    Previous Number: RealNumber   

ComplexNumber comparison table
Subject documentation be disjoint from is a kind of be first domain of have axiom
NumberA 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)PhysicalQuantityRealNumberFn
(<=> 
 	(instance ?ABS Abstract)
       	(not 
 	      (exists (?POINT) 
                    (or 
 		        (located ?ABS ?POINT)
                     (existant ?ABS ?POINT)))))
ComplexNumberA Number that consists of two components: a RealNumber and the ImaginaryNumberRealNumberNumberImaginaryPartFn
(=>
    (instance ?NUMBER ComplexNumber)
    (exists (?PART1 ?PART2)
       (and
          (equal ?PART1 (RealNumberFn ?NUMBER))
          (equal ?PART2 (ImaginaryPartFn ?NUMBER)))))

Next Number: ImaginaryNumber    Up: Number    Previous Number: RealNumber