Class DEFLECTOR_SHEAVE_MODEL_M01

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Deflector_sheave_model

Has-Parameter-Slot: Deflector_sheave_protrusion, Deflector_sheave_weight

Inherited-Slot-Value: Deflector_sheave_protrusion, Deflector_sheave_weight

---

Slots on instances of this class:

Deflector_Sheave_Diameter_S: 20

Deflector_Sheave_Protrusion: 15.125

Deflector_Sheave_Weight: 250

Has-Parameter-Slot: Deflector_sheave_protrusion, Deflector_sheave_weight

Model-Id: Deflector_sheave_model_m01

Other Related Axioms:

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

(<= (Has-Parameter-Slot $X Deflector_Sheave_Weight)
    (Deflector_Sheave_Model_M01 $X))

(<= (Has-Parameter-Slot $X Deflector_Sheave_Protrusion)
    (Deflector_Sheave_Model_M01 $X))

(<= (Deflector_Sheave_Weight $X 250) (Deflector_Sheave_Model_M01 $X))

(<= (Deflector_Sheave_Protrusion $X 15.125)
    (Deflector_Sheave_Model_M01 $X))

(<= (Deflector_Sheave_Diameter_S $X 20)
    (Deflector_Sheave_Model_M01 $X))

Notes:

• Formerly-Named: ds_20
• Source: The Yost document, under " DEFLECTOR_SHEAVE_MODEL "