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

店计 (ImaginaryNumber)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
龟砰
is subclass of
  ┾禜  
is subclass of
  计秖  
is subclass of
  计  
is subclass of
  店计  

Coordinate term(s)

狡计  龟计 

Constrains relations

店计ㄧ计 

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)

计 Ч だ澄Θ 龟计,店计,狡计. 
(partition Number RealNumber ImaginaryNumber ComplexNumber)
If number 琌 店计龟ㄒ, then there exists 龟计 real so that number 单 "real*"キよ"". 
(=>
      (instance ?NUMBER ImaginaryNumber)
      (exists
            (?REAL)
            (and
                  (instance ?REAL RealNumber)
                  (equal
                        ?NUMBER
                        (MultiplicationFn
                              ?REAL
                              (SquareRootFn -1))))))