Class SLING_MODEL_M05

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

Sling_Bending_Moment_Maximum: 1790000

Sling_Deflection_Index_Maximum: 200700000

Sling_Weight_Factor_A: 3.1

Sling_Weight_Factor_B: 2.2

Sling_Weight_Factor_C: 317

Other Related Axioms:

(<= (Sling_Weight_Factor_C $X 317) (Sling_Model_M05 $X))

(<= (Sling_Weight_Factor_B $X 2.2) (Sling_Model_M05 $X))

(<= (Sling_Weight_Factor_A $X 3.1) (Sling_Model_M05 $X))

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

(<= (Sling_Bending_Moment_Maximum $X 1790000) (Sling_Model_M05 $X))

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

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

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

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

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

Notes:

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