Function EXPT

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

Slots on this function:

Documentation:

Real exponentiation for unary-scalar-function-quantitys.

Instance-Of: Function, Relation-extended-to-function-quantities

Axioms:

(=> (And (Unary-Scalar-Function-Quantity ?X)
         (Real-Number ?R)
         (Expt ?X ?R ?Z))
    (Unary-Scalar-Function-Quantity ?Z))