**Defined in theory: Physical-quantities****Source code: physical-quantities.lisp**

**Documentation:**A FUNCTION-QUANTITY is a function that maps from one or more constant-quantities to a constant-quantity. The function must have a fixed arity of at least 1. All elements of the range (ie, values of the function) have the same physical-dimension, which is the dimension of the function-quantity itself.

**Subclass-Of:**Function, Physical-quantity

**Arity:***Slot-Cardinality:*1**Quantity.Dimension:***Slot-Cardinality:*1

(<=> (Function-Quantity ?F) (And (Physical-Quantity ?F) (Function ?F) (Value-Cardinality ?F Arity 1) (Subclass-Of (Relation-Universe ?F) Constant-Quantity) (Value-Cardinality ?F Quantity.Dimension 1) (Forall (?Val) (=> (Instance-Of ?Val (Exact-Range ?F)) (= (Quantity.Dimension ?F) (Quantity.Dimension ?Val))))))

**Formerly-Named:**quantity-function