Function EXP

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

Slots on this function:

Documentation:

The term {tt (exp $tau$)} denotes $e$ raised to the power the object denoted by $tau$.

and also:

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

Instance-Of: Function, Q-expression-operator

Arity: 2