Class SLING_MODEL_M01

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Sling_model

Has-Parameter-Slot:

Sling_bending_moment_maximum, Sling_weight_factor_a, Sling_weight_factor_b, Sling_weight_factor_c

Inherited-Slot-Value:

Sling_bending_moment_maximum, Sling_weight_factor_a, Sling_weight_factor_b, Sling_weight_factor_c

---

Slots on instances of this class:

Has-Parameter-Slot:

Sling_bending_moment_maximum, Sling_weight_factor_a, Sling_weight_factor_b, Sling_weight_factor_c

Model-Id: Sling_model_m01

Sling_Bending_Moment_Maximum: 705000

Sling_Deflection_Index_Maximum: 84600000

Sling_Weight_Factor_A: 1.5

Sling_Weight_Factor_B: 1.002

Sling_Weight_Factor_C: 56

Other Related Axioms:

(<= (Sling_Weight_Factor_C $X 56) (Sling_Model_M01 $X))

(<= (Sling_Weight_Factor_B $X 1.002) (Sling_Model_M01 $X))

(<= (Sling_Weight_Factor_A $X 1.5) (Sling_Model_M01 $X))

(<= (Sling_Deflection_Index_Maximum $X 84600000)
    (Sling_Model_M01 $X))

(<= (Sling_Bending_Moment_Maximum $X 705000) (Sling_Model_M01 $X))

(<= (Model-Id $X Sling_Model_M01) (Sling_Model_M01 $X))

(<= (Has-Parameter-Slot $X Sling_Weight_Factor_C)
    (Sling_Model_M01 $X))

(<= (Has-Parameter-Slot $X Sling_Weight_Factor_B)
    (Sling_Model_M01 $X))

(<= (Has-Parameter-Slot $X Sling_Weight_Factor_A)
    (Sling_Model_M01 $X))

(<= (Has-Parameter-Slot $X Sling_Bending_Moment_Maximum)
    (Sling_Model_M01 $X))

Notes:

• Formerly-Named: sling_25b_18
• Source: The Yost document, under " SLING_MODEL "