Class UNARY-SCALAR-FUNCTION-QUANTITY

• Defined in theory: Unary-scalar-functions
• Source code: unary-scalar-functions.lisp

Slots on this class:

Documentation:

A unary function that maps from a scalar-quantity to a scalar-quantity.

Subclass-Of: Function-quantity, Unary-function

---

Slots on instances of this class:

Domain: Scalar-quantity

Range: Scalar-quantity

Axioms:

(<=> (Unary-Scalar-Function-Quantity ?X)
     (And (Function-Quantity ?X)
          (Unary-Function ?X)
          (Domain ?X Scalar-Quantity)
          (Range ?X Scalar-Quantity)))