Function CAR_SPEED

Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function
Arity: 2
Parameter-Slot-Of: Elevator
Used-In-Constraint:
Car_buffer_striking_speed_maximum_c, Car_speed_c, Hoist_cable_safety_factor_c01, Hoist_cable_safety_factor_c02, Hoist_cable_safety_factor_c03, Hoist_cable_safety_factor_c04, Hoist_cable_safety_factor_c05, Machine_efficiency_c02, Machine_efficiency_c03, Machine_efficiency_c04, Machine_efficiency_c05, Machine_efficiency_c06, Machine_efficiency_c07, Machine_efficiency_c08, Machine_efficiency_c09, Machine_efficiency_c10, Machine_efficiency_c11, Machine_efficiency_c12, Machine_efficiency_c13, Machine_efficiency_c14, Machine_efficiency_c15, Machine_efficiency_c16, Machine_efficiency_c17, Machine_efficiency_c18, Machine_efficiency_c19, Machine_efficiency_c20, Machine_efficiency_c21, Machine_gear_ratio_symbolic_c01, Machine_gear_ratio_symbolic_c02, Machine_gear_ratio_symbolic_c03, Machine_gear_ratio_symbolic_c04, Machine_gear_ratio_symbolic_c05, Machine_gear_ratio_symbolic_c06, Machine_gear_ratio_symbolic_c07, Machine_gear_ratio_symbolic_c08, Machine_gear_ratio_symbolic_c09, Machine_gear_ratio_symbolic_c10, Machine_gear_ratio_symbolic_c11, Machine_gear_ratio_symbolic_c12, Machine_gear_ratio_symbolic_c13, Machine_gear_ratio_symbolic_c14, Machine_gear_ratio_symbolic_c15, Machine_gear_ratio_symbolic_c16, Machine_gear_ratio_symbolic_c17, Machine_gear_ratio_symbolic_c18, Machine_gear_ratio_symbolic_c19, Machine_gear_ratio_symbolic_c20, Machine_groove_pressure_constant_c01, Machine_groove_pressure_constant_c02, Machine_groove_pressure_constant_c03, Machine_groove_pressure_constant_c04, Machine_groove_pressure_constant_c05, Machine_groove_pressure_constant_c06, Machine_groove_pressure_constant_c07, Machine_groove_pressure_constant_c08, Machine_groove_pressure_constant_c09, Machine_groove_pressure_constant_c10, Motor_horsepower_required_c01

Other Related Axioms:

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

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

(Inherited-Facet-Value Slot-Value-Type Elevator Car_Speed Integer)

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

Notes: