Class QUANTITY-FUNCTION

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this class:

Documentation:

A quantity function maps some objects to a quantity.

Instance-Of: Class

Subclass-Of: Function

Domain-Of: Quantity-function-total-on

Range-Of: Has-quantity-function

---

Slots on instances of this class:

Range: Time-dependent-quantity

Other Related Axioms:

(<= (Range $X Time-Dependent-Quantity) (Quantity-Function $X))

(=> (Quantity-Function ?Qf) (Range ?Qf Time-Dependent-Quantity))

(Nth-Domain Quantity-Function-Dimension 2 Quantity-Function)

(<=> (Quantity-Function-Dimension ?Class ?Function ?Dimension)
     (And (Class ?Class)
          (Quantity-Function ?Function)
          (Physical-Dimension ?Dimension)
          (Forall (?X)
                  (=> (Instance-Of ?X ?Class)
                      (= (Quantity.Dimension (Value ?Function ?X))
                         ?Dimension)))))

(=> (Has-Quantity-Function $X $Y) (Quantity-Function $Y))

(=> (Quantity-Function-Total-On $X $Y) (Quantity-Function $X))

(<=> (Quantity-Function-Total-On ?Quantity-Function ?Class)
     (And (Quantity-Function ?Quantity-Function)
          (Class ?Class)
          (Total-On ?Quantity-Function ?Class)))

Notes:

• Quantity functions defined within different model fragments may map to quantities with different dimensions and so on, so there is little that we can say about quantity functions beyond stating that the elements of their range is a quantity.