Class MOTOR

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Vt-component

Has-Parameter-Slot:

Motor_current_maximum, Motor_current_supported_maximum, Motor_horsepower, Motor_weight

Inherited-Slot-Value:

Motor_current_maximum, Motor_current_supported_maximum, Motor_horsepower, Motor_weight

Range-Of: Elevator.motor

Superclass-Of:

Motor_model_m01, Motor_model_m02, Motor_model_m03, Motor_model_m04, Motor_model_m05, Motor_model_m06

---

Slots on instances of this class:

Has-Parameter-Slot:

Motor_current_maximum, Motor_current_supported_maximum, Motor_horsepower, Motor_weight

Model-Id:

Slot-Cardinality: 1

Motor_Current_Maximum:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Motor_Current_Supported_Maximum: 150

Slot-Cardinality: 1

Slot-Value-Type: Integer

Motor_Horsepower:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Motor_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type Elevator Elevator.Motor Motor)

(<= (Motor_Current_Supported_Maximum $X 150) (Motor $X))

(<= (Has-Parameter-Slot $X Motor_Weight) (Motor $X))

(<= (Has-Parameter-Slot $X Motor_Horsepower) (Motor $X))

(<= (Has-Parameter-Slot $X Motor_Current_Supported_Maximum)
    (Motor $X))

(<= (Has-Parameter-Slot $X Motor_Current_Maximum) (Motor $X))

(=> (Elevator.Motor $X $Y) (Motor $Y))