ImaginaryNumber Comparison Table

Entity > Abstract > Quantity > Number > ImaginaryNumber

Next Number: NonspecificNumber Up: Number Previous Number: ComplexNumber

ImaginaryNumber comparison table

Subject is an instance of documentation is a kind 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) Quantity
(<=>
(instance ?ABS Abstract)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))

ImaginaryNumber Number The square root of -1
(=>
(instance ?NUMBER ImaginaryNumber)
(instance ?NUMBER (RelativeComplementFn Number RealNumber)))

Subject	is an instance of	documentation	is a kind 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)	Quantity	(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))
ImaginaryNumber	Number	The square root of -1		(=> (instance ?NUMBER ImaginaryNumber) (instance ?NUMBER (RelativeComplementFn Number RealNumber)))

Next Number: NonspecificNumber Up: Number Previous Number: ComplexNumber