square root fn (SquareRootFn)

(SquareRootFn number) is the principal square root of number.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

varga

inheritable relation

ekaadhaary prakaarya

square root fn

Coordinate term(s)

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 imaginary part 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 successor fn tangent fn tera fn terminal node fn wealth fn when fn year fn

Type restrictions

anka SquareRootFn(vaastavika anka)

Related WordNet synsets

square root: a number that when multiplied by itself equals a given number

See more related synsets on a separate page.

Axioms (3)

Agar number is an instance of kaalpanika anka, to yah kuch vaastavika anka real nahin, ki number is equal to "real*"the square root of "".

(=>
      (instance ?NUMBER ImaginaryNumber)
      (exists
            (?REAL)
            (and
                  (instance ?REAL RealNumber)
                  (equal
                        ?NUMBER
                        (MultiplicationFn
                              ?REAL
                              (SquareRootFn -1))))))

Agar number is an instance of sanyukta anka, to yah kuch vaastavika anka real1,vaastavika anka real2 nahin, ki number is equal to "(real1+"real2*"the square root of "")".

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

Agar "the square root of number1" is equal to number2, to "number2*number2" is equal to number1.

(=>
      (equal
            (SquareRootFn ?NUMBER1)
            ?NUMBER2)
      (equal
            (MultiplicationFn ?NUMBER2 ?NUMBER2)
            ?NUMBER1))