Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

imaginary number (ImaginaryNumber)

Any Number that is the result of multiplying a RealNumber by the square root of -1.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  number  
is subclass of
  imaginary number  

Coordinate term(s)

complex number  real number 

Constrains relations

imaginary part fn 

Related WordNet synsets

pure imaginary number
an imaginary number of the form a+bi where a is 0
pure imaginary number is kind of (all)...   pure imaginary number is kind of...   kinds of pure imaginary number...   kinds of pure imaginary number (all)...  

Axioms (2)

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)
      (exists
            (?REAL)
            (and
                  (instance ?REAL RealNumber)
                  (equal
                        ?NUMBER
                        (MultiplicationFn
                              ?REAL
                              (SquareRootFn -1))))))