Function MASS

• Defined in theory: Mechanical-components
• Source code: mechanical-components.lisp

Slots on this function:

Documentation:

The mass of a mechanical-component, which is a scalar quantity of physical-dimension mass-dimension.

Instance-Of: Function

Arity: 2

Domain: Mechanical-component

Range: Scalar-quantity

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality Mechanical-Component Mass 1)

(Inherited-Facet-Value Slot-Value-Type
                       Mechanical-Component
                       Mass
                       Scalar-Quantity)

(=> (Mechanical-Component ?P)
    (And (Value-Type ?P Reference-Point 3d-Point)
         (Value-Cardinality ?P Reference-Point 1)
         (Value-Type ?P Reference-Frame 3d-Frame)
         (Value-Cardinality ?P Reference-Frame 1)
         (Value-Type ?P Mass Scalar-Quantity)
         (Value-Cardinality ?P Mass 1)
         (3d-Dyad (Inertia-Tensor ?P (Reference-Point ?P)))))

(=> (Mass $X $Y) (Scalar-Quantity $Y))

(=> (Mass $X $Y) (Mechanical-Component $X))

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