The mass of a mechanical-component, which is a scalar quantity of physical-dimension mass-dimension.
(=> (Mass ?Comp ?M) (Quantity.Dimension ?M Mass-Dimension))