Function MOTOR_HORSEPOWER_REQUIRED


Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function
Arity: 2
Parameter-Slot-Of: Elevator
Used-In-Constraint:
Motor_horsepower_c, Motor_horsepower_required_c01, Motor_horsepower_required_c02, Motor_horsepower_required_c03

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Elevator
                       Motor_Horsepower_Required
                       Real-Number)

(Inherited-Facet-Value Slot-Cardinality
                       Elevator
                       Motor_Horsepower_Required
                       1)

(<= (Has-Parameter-Slot $X Motor_Horsepower_Required) (Elevator $X))

(Inherited-Slot-Value Elevator
                      Has-Parameter-Slot
                      Motor_Horsepower_Required)


Notes: