Relation QUANTITY-FUNCTION-DIMENSION

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

Slots on this relation:

Documentation:

The quantity-function-dimension of a quantity-function on a class is a `facet' of the quantity `slot'. It means that the range of the function --that is, the value type of the slot--is quantities of the specified dimension. For example, (quantity-function-dimension physical-object mass mass-dimension)
says that the mass slot of physical-objects has values that are quantities of the physical-dimension called mass-dimension.

Instance-Of: Facet, Relation

Arity: 3

Axioms:

(Nth-Domain Quantity-Function-Dimension 3 Physical-Dimension)

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

(Nth-Domain Quantity-Function-Dimension 1 Class)

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