Komplexzahl (ComplexNumber)

A Number that has the form: x + yi, where x and y are RealNumbers and i is the square root of -1.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Wesen

abstrakter Gegenstand

Eigenschaft

Zahl

Komplexzahl

Coordinate term(s)

imaginäre Zahl reelle Zahl

Constrains relations

ImaginäresTeilFn

Related WordNet synsets

complex number, complex quantity, imaginary number: a number of the form a+bi where a and b are real numbers and i is the square root of -1

Axioms (4)

Zahl wird vollständig in reelle Zahl,imaginäre Zahl ,Komplexzahl verteilt.

(partition Number RealNumber ImaginaryNumber ComplexNumber)

Komplexzahl ist dijunkt von reelle Zahl .

(disjoint ComplexNumber RealNumber)

Wenn number ist ein fall von Komplexzahl , dann es gibt ein reelle Zahl real1,reelle Zahl real2 der number ist gleich "(real1+"real2*"die quadratwurzel von "")" .

(=>
      (instance ?NUMBER ComplexNumber)
      (exists
            (?REAL1 ?REAL2)
            (and
                  (instance ?REAL1 RealNumber)
                  (instance ?REAL2 RealNumber)
                  (equal
                        ?NUMBER
                        (AdditionFn
                              ?REAL1
                              (MultiplicationFn
                                    ?REAL2
                                    (SquareRootFn -1)))))))

Wenn number ist ein fall von Komplexzahl , dann es gibt ein part1,part2 der part1 ist gleich "das reelle teil von number" und part2 ist gleich "das imaginäre teil von number" .

(=>
      (instance ?NUMBER ComplexNumber)
      (exists
            (?PART1 ?PART2)
            (and
                  (equal
                        ?PART1
                        (RealNumberFn ?NUMBER))
                  (equal
                        ?PART2
                        (ImaginaryPartFn ?NUMBER)))))