Function ABS

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

Slots on this function:

Documentation:

QAbs is a unary q-operator for expressing the absolute value of a

q-expression term

and also:

The term {tt (abs $tau$)} denotes the absolute value of the object denoted by $tau$.

Instance-Of: Function, Q-expression-operator

Arity: 2