Slots on this relation:
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.
(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)
(=> (Instance-Of ?X ?Class)
(= (Quantity.Dimension (Value ?Function ?X))