Class DEFLECTOR_SHEAVE_MODEL_M02

• 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: 25

Deflector_Sheave_Protrusion: 18.125

Deflector_Sheave_Weight: 350

Has-Parameter-Slot: Deflector_sheave_protrusion, Deflector_sheave_weight

Model-Id: Deflector_sheave_model_m02

Other Related Axioms:

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

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

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

(<= (Deflector_Sheave_Weight $X 350) (Deflector_Sheave_Model_M02 $X))

(<= (Deflector_Sheave_Protrusion $X 18.125)
    (Deflector_Sheave_Model_M02 $X))

(<= (Deflector_Sheave_Diameter_S $X 25)
    (Deflector_Sheave_Model_M02 $X))

Notes:

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