Class COUNTERWEIGHT_BETWEEN_GUIDERAILS_M

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Vt-component

Has-Constraint: Counterweight_plate_quantity_c01

Inherited-Slot-Value: Counterweight_plate_quantity_c01

Has-Parameter-Slot:

Counterweight_frame_a, Counterweight_frame_b, Counterweight_frame_height_s, Counterweight_frame_thickness, Counterweight_frame_weight_s, Counterweight_plate_quantity, Counterweight_stack_height, Counterweight_weight

Inherited-Slot-Value:

Counterweight_frame_a, Counterweight_frame_b, Counterweight_frame_height_s, Counterweight_frame_thickness, Counterweight_frame_weight_s, Counterweight_plate_quantity, Counterweight_stack_height, Counterweight_weight

Range-Of: Elevator.counterweightbg

Superclass-Of: Counterweight_between_guiderails_m01, Counterweight_between_guiderails_m02, Counterweight_between_guiderails_m03

---

Slots on instances of this class:

Counterweight_Frame_A:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_B:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Height_S:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Thickness:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Frame_Weight_S:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Plate_Quantity:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Counterweight_Stack_Height:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Counterweight_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Has-Constraint: Counterweight_plate_quantity_c01

Has-Parameter-Slot:

Counterweight_frame_a, Counterweight_frame_b, Counterweight_frame_height_s, Counterweight_frame_thickness, Counterweight_frame_weight_s, Counterweight_plate_quantity, Counterweight_stack_height, Counterweight_weight

Model-Id:

Slot-Cardinality: 1

Other Related Axioms:

(<= (Has-Constraint $X Counterweight_Plate_Quantity_C01)
    (Counterweight_Between_Guiderails_M $X))

(<= (Has-Parameter-Slot $X Counterweight_Weight)
    (Counterweight_Between_Guiderails_M $X))

(<= (Has-Parameter-Slot $X Counterweight_Stack_Height)
    (Counterweight_Between_Guiderails_M $X))

(<= (Has-Parameter-Slot $X Counterweight_Plate_Quantity)
    (Counterweight_Between_Guiderails_M $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_Weight_S)
    (Counterweight_Between_Guiderails_M $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_Thickness)
    (Counterweight_Between_Guiderails_M $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_Height_S)
    (Counterweight_Between_Guiderails_M $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_B)
    (Counterweight_Between_Guiderails_M $X))

(<= (Has-Parameter-Slot $X Counterweight_Frame_A)
    (Counterweight_Between_Guiderails_M $X))

(Inherited-Facet-Value Slot-Value-Type
                       Elevator
                       Elevator.Counterweightbg
                       Counterweight_Between_Guiderails_M)

(=> (Elevator.Counterweightbg $X $Y)
    (Counterweight_Between_Guiderails_M $Y))

Notes:

• Formerly-Named: counterweightbg
• Source: The Yost document, under " COUNTERWEIGHT_BETWEEN_GUIDERAILS "