Class MACHINE_MODEL

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Vt-component

Has-Constraint: Machine_efficiency_c01

Inherited-Slot-Value: Machine_efficiency_c01

Has-Parameter-Slot:

Machine_efficiency, Machine_gear_ratio_numeric, Machine_left_offset, Machine_right_offset, Machine_sheave_diameter, Machine_sheave_height_f, Machine_suspended_load_maximum, Machine_weight

Inherited-Slot-Value:

Machine_efficiency, Machine_gear_ratio_numeric, Machine_left_offset, Machine_right_offset, Machine_sheave_diameter, Machine_sheave_height_f, Machine_suspended_load_maximum, Machine_weight

Range-Of: Elevator.machine

Superclass-Of:

Machine_model_m01, Machine_model_m02, Machine_model_m03, Machine_model_m04

---

Slots on instances of this class:

Has-Constraint: Machine_efficiency_c01

Has-Parameter-Slot:

Machine_efficiency, Machine_gear_ratio_numeric, Machine_left_offset, Machine_right_offset, Machine_sheave_diameter, Machine_sheave_height_f, Machine_suspended_load_maximum, Machine_weight

Machine_Efficiency:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Gear_Ratio_Numeric:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Left_Offset:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Right_Offset:

Slot-Cardinality: 1

Slot-Value-Type: Real-number

Machine_Sheave_Diameter:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Machine_Sheave_Height_F:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Machine_Suspended_Load_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Machine_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Model-Id:

Slot-Cardinality: 1

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Elevator
                       Elevator.Machine
                       Machine_Model)

(<= (Has-Constraint $X Machine_Efficiency_C01) (Machine_Model $X))

(<= (Has-Parameter-Slot $X Machine_Weight) (Machine_Model $X))

(<= (Has-Parameter-Slot $X Machine_Suspended_Load_Maximum)
    (Machine_Model $X))

(<= (Has-Parameter-Slot $X Machine_Sheave_Height_F)
    (Machine_Model $X))

(<= (Has-Parameter-Slot $X Machine_Sheave_Diameter)
    (Machine_Model $X))

(<= (Has-Parameter-Slot $X Machine_Right_Offset) (Machine_Model $X))

(<= (Has-Parameter-Slot $X Machine_Left_Offset) (Machine_Model $X))

(<= (Has-Parameter-Slot $X Machine_Gear_Ratio_Numeric)
    (Machine_Model $X))

(<= (Has-Parameter-Slot $X Machine_Efficiency) (Machine_Model $X))

(=> (Elevator.Machine $X $Y) (Machine_Model $Y))

Notes:

• Formerly-Named: machine
• Source: The Yost document, under " MACHINE_MODEL "