Class SLING_MODEL_M02

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

Sling_Bending_Moment_Maximum: 850000

Sling_Deflection_Index_Maximum: 103800000

Sling_Weight_Factor_A: 1.75

Sling_Weight_Factor_B: 1.002

Sling_Weight_Factor_C: 94

Other Related Axioms:

(<= (Sling_Weight_Factor_C $X 94) (Sling_Model_M02 $X))

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

(<= (Sling_Weight_Factor_A $X 1.75) (Sling_Model_M02 $X))

(<= (Sling_Deflection_Index_Maximum $X 103800000)
    (Sling_Model_M02 $X))

(<= (Sling_Bending_Moment_Maximum $X 850000) (Sling_Model_M02 $X))

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

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

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

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

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

Notes:

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