Relation +

as a function, adds all the arguments and returns the sum. As a variable, bound to the last form read by the read loop.

Arity: 3

Range: Number

Axioms:

(Nth-Domain + 2 Number)

(Nth-Domain + 1 Number)

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp
• Also defined in: Kif-numbers