Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

Hlavní stránka

imaginary part fn (ImaginaryPartFn)

(ImaginaryPartFn number) returns the part of number that has the square root of -1 as its factor.

Ontologie

SUMO / NUMERIC-FUNCTIONS

Class(es)

is instance of

inheritable relation

is instance of

unární funkce

is instance of

imaginary part fn

Související termín(y)

absolute value fn abstraction fn arc cosine fn arc sine fn arc tangent fn back fn begin fn begin node fn cardinality fn ceiling fn complement fn cosine fn cut set fn denominator fn end fn end node fn extension fn floor fn front fn future fn generalized intersection fn generalized union fn giga fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn mega fn micro fn milli fn minimal cut set fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn property fn rational number fn real number fn reciprocal fn round fn signum fn sine fn skin fn square root fn successor fn tangent fn tera fn terminal node fn wealth fn when fn year fn

Typy argumentů

imaginární číslo ImaginaryPartFn(komplexní číslo)

Related WordNet synsets

imaginary part, imaginary part of a complex number: the part of a complex number that has the square root of -1 as a factor

Axiomy (1)

Jestliže number je instancí třídy komplexní číslo, potom existují part1,part2 tak, že part1 se rovná "real number fn(number)" a part2 se rovná "imaginary part fn(number)".

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