Function MASS


Slots on this function:

Documentation:
The mass of a mechanical-component, which is a scalar quantity of physical-dimension mass-dimension.
Arity: 2
Domain: Mechanical-component
Range: Scalar-quantity

Axioms:

(=> (Mass ?Comp ?M) (Quantity.Dimension ?M Mass-Dimension))