SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > Number
Next Quantity: PhysicalQuantity    Up: Quantity

Number comparison table
Subject is an instance of documentation be disjoint from is a kind of be first domain of partition into have axiom
ComplexNumber A 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)))))
ImaginaryNumberNumberThe square root of -1Physical RealNumberFn 
(=>
    (instance ?NUMBER ImaginaryNumber)
    (instance ?NUMBER (RelativeComplementFn Number RealNumber)))
NonspecificNumber A NonspecificNumber is used to indicate quantity of items when one cannot or does not want to say exactly how many items there arePhysicalNumberRealNumberFn 
(<=> 
 	(instance ?ABS Abstract)
       	(not 
 	      (exists (?POINT) 
                    (or 
 		        (located ?ABS ?POINT)
                     (existant ?ABS ?POINT)))))
RealNumber Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number linePhysicalNumberSquareRootFnNegativeRealNumber, NonnegativeRealNumber
(=>
    (instance ?NUMBER ImaginaryNumber)
    (instance ?NUMBER (RelativeComplementFn Number RealNumber)))

Next Quantity: PhysicalQuantity    Up: Quantity