Function SQRT

• Defined in theory: Dme-kb
• Source code: q-operator-definitions.lisp
• Also defined in: Kif-numbers

Slots on this function:

Documentation:

The term {tt (sqrt $tau$)} denotes the principal square root of the object denoted by $tau$.

and also:

sqrt is the monadic sqrt operator. The meaning is the same as LISP sqrt.

Instance-Of: Function, Q-expression-operator

Arity: 2