Function -

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp
• Also defined in: Dme-kb, Tensor-quantities, Basic-matrix-algebra, Physical-quantities

Slots on this function:

Documentation:

If $tau$ and $tau_1$, ..., $tau_n$ denote numbers, then the term {tt (- $tau$ $tau_1 ... tau_n$)} denotes the difference between the
number denoted by $tau$ and the numbers denoted by $tau_1$ through $tau_n$. An exception occurs when $n=0$, in which case the term denotes the negation of the number denoted by $tau$.

Instance-Of: Function

Axioms:

(Undefined (Arity -))

Other Related Axioms:

(Instance-Of (Arity -) Undefined)

(<- (1- ?X) (- ?X 1))

(<- (Abs ?X) (If (>= ?X 0) ?X (- ?X)))