**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

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