Function APPLIED-FORCE

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

Slots on this function:

Documentation:

The resultant applied force of comp1 on comp2. A 3D vector.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Applied-Force 3 3d-Vector-Quantity)

(Nth-Domain Applied-Force 2 Mechanical-Component)

(Nth-Domain Applied-Force 1 Mechanical-Component)

Other Related Axioms:

(=> (= (Applied-Force ?Comp1 ?Comp2) ?F)
    (Quantity.Dimension ?F Force-Dimension))