imaginary number (ImaginaryNumber)
Any Number that is the result of
multiplying a RealNumber by the square root of -1.
SUMO / BASE-ONTOLOGY
imaginary part fn
Related WordNet synsets
- pure imaginary number
- an imaginary number of the form a+bi where a is 0
number is exhaustively partitioned into real number,imaginary number,complex number.
(partition Number RealNumber ImaginaryNumber ComplexNumber)
If number is an instance of imaginary number, then there exists real number real so that number is equal to "real*"the square root of "".
(instance ?NUMBER ImaginaryNumber)
(instance ?REAL RealNumber)