Constraint MOTOR_HORSEPOWER_C

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

Slots on this constraint:

Instance-Of: Constraint

Constraint-On: Elevator

Constraint.Expression:

'(>= (Motor_Horsepower (Elevator.Motor ?X))
     (Motor_Horsepower_Required ?X))

Other Related Axioms:

(<= (Has-Constraint $X Motor_Horsepower_C) (Elevator $X))

(Inherited-Slot-Value Elevator Has-Constraint Motor_Horsepower_C)

(Used-In-Constraint Motor_Horsepower Motor_Horsepower_C)

(Used-In-Constraint Motor_Horsepower_Required Motor_Horsepower_C)

Notes:

• Formerly-Named: c30
• Source: The Yost document, under " MOTOR_HORSEPOWER "