imaginäre Zahl (ImaginaryNumber)
Any Number that is the result of
multiplying a RealNumber by the square root of -1.
Ontology
SUMO / BASE-ONTOLOGYSuperclass(es)
Coordinate term(s)
Komplexzahl
reelle Zahl
Constrains relations
ImaginäresTeilFn
Related WordNet synsets
- pure imaginary number
- an imaginary number of the form a+bi where a is 0
Axioms (2)
Zahl wird vollständig in reelle Zahl,imaginäre Zahl ,Komplexzahl verteilt.
(partition Number RealNumber ImaginaryNumber ComplexNumber)
Wenn number ist ein fall von imaginäre Zahl , dann es gibt ein reelle Zahl real der number ist gleich "real*"die quadratwurzel von "" .
(=>
(instance ?NUMBER ImaginaryNumber)
(exists
(?REAL)
(and
(instance ?REAL RealNumber)
(equal
?NUMBER
(MultiplicationFn
?REAL
(SquareRootFn -1))))))