Class SLING_MODEL_M04

• 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_m04

Sling_Bending_Moment_Maximum: 810000

Sling_Deflection_Index_Maximum: 96900000

Sling_Weight_Factor_A: 1.8

Sling_Weight_Factor_B: 1.2

Sling_Weight_Factor_C: 223

Other Related Axioms:

(<= (Sling_Weight_Factor_C $X 223) (Sling_Model_M04 $X))

(<= (Sling_Weight_Factor_B $X 1.2) (Sling_Model_M04 $X))

(<= (Sling_Weight_Factor_A $X 1.8) (Sling_Model_M04 $X))

(<= (Sling_Deflection_Index_Maximum $X 96900000)
    (Sling_Model_M04 $X))

(<= (Sling_Bending_Moment_Maximum $X 810000) (Sling_Model_M04 $X))

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

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

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

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

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

Notes:

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