Class DEFLECTOR_SHEAVE_MODEL

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Vt-component

Has-Parameter-Slot: Deflector_sheave_diameter_s, Deflector_sheave_protrusion, Deflector_sheave_weight

Inherited-Slot-Value: Deflector_sheave_diameter_s, Deflector_sheave_protrusion, Deflector_sheave_weight

Range-Of: Elevator.deflectorsheave

Superclass-Of: Deflector_sheave_model_m01, Deflector_sheave_model_m02

---

Slots on instances of this class:

Deflector_Sheave_Diameter_S:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Deflector_Sheave_Protrusion:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Deflector_Sheave_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Has-Parameter-Slot: Deflector_sheave_diameter_s, Deflector_sheave_protrusion, Deflector_sheave_weight

Model-Id:

Slot-Cardinality: 1

Other Related Axioms:

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

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

(<= (Has-Parameter-Slot $X Deflector_Sheave_Diameter_S)
    (Deflector_Sheave_Model $X))

(Inherited-Facet-Value Slot-Value-Type
                       Elevator
                       Elevator.Deflectorsheave
                       Deflector_Sheave_Model)

(=> (Elevator.Deflectorsheave $X $Y) (Deflector_Sheave_Model $Y))

Notes:

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