Function EXP

• Defined in theory: Kif-numbers
• Source code: kif-numbers.lisp

Slots on this function:

Documentation:

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

Arity: 2

Axioms:

(=> (Exp ?X ?Result)
    (= ?Result (Expt The-Exponentiation-Constant-E ?X)))