Function MACHINE_SHEAVE_CENTER_TO_FRONT_MACHINE_BEAM_SUPPORT

• Defined in theory: Vt-domain
• Source code: vt-domain.lisp

Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function

Arity: 2

Parameter-Slot-Of: Elevator

Used-In-Constraint:

Machine_beam_bending_moment_right_maximum_c01, Machine_beam_center_to_machine_sheave_center_c, Machine_beam_reaction_rear_left_c, Machine_beam_reaction_rear_right_c, Machine_sheave_center_to_front_machine_beam_support_c

Other Related Axioms:

(Inherited-Facet-Value 
    Slot-Value-Type
    Elevator
    Machine_Sheave_Center_To_Front_Machine_Beam_Support
    Real-Number)

(Inherited-Facet-Value 
    Slot-Cardinality
    Elevator
    Machine_Sheave_Center_To_Front_Machine_Beam_Support
    1)

(<= (Has-Parameter-Slot 
        $X
        Machine_Sheave_Center_To_Front_Machine_Beam_Support)
    (Elevator $X))

(Inherited-Slot-Value 
    Elevator
    Has-Parameter-Slot
    Machine_Sheave_Center_To_Front_Machine_Beam_Support)

Notes:

• Formerly-Named: mach_she_cent_to_fro_mbeam_support
• Source: The Yost document, under " MACHINE_SHEAVE_CENTER_TO_FRONT_MACHINE_BEAM_SUPPORT "