**Defined in theory: Kif-numbers****Source code: kif-numbers.lisp****Also defined in:**Physical-quantities, Scalar-quantities, Unary-scalar-functions

**Documentation:**{The term {tt (expt $tau_1$ $tau_2$)} denotes the object denoted by

$tau_1$ raised to the power the object denoted by $tau_2$.}**Arity:**3