Class FUNCTION-QUANTITY

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

Slots on this class:

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

---

Slots on instances of this class:

Arity:

Slot-Cardinality: 1

Quantity.Dimension:

Slot-Cardinality: 1

Axioms:

(<=> (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))))))

Notes:

• Formerly-Named: quantity-function