Class SLING_MODEL_M03

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

Sling_Bending_Moment_Maximum: 1340000

Sling_Deflection_Index_Maximum: 200700000

Sling_Weight_Factor_A: 2.5

Sling_Weight_Factor_B: 1.6

Sling_Weight_Factor_C: 223

Other Related Axioms:

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

(<= (Sling_Weight_Factor_B $X 1.6) (Sling_Model_M03 $X))

(<= (Sling_Weight_Factor_A $X 2.5) (Sling_Model_M03 $X))

(<= (Sling_Deflection_Index_Maximum $X 200700000)
    (Sling_Model_M03 $X))

(<= (Sling_Bending_Moment_Maximum $X 1340000) (Sling_Model_M03 $X))

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

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

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

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

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

Notes:

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