Function PLATFORM_WIDTH_F

Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function
Arity: 2
Parameter-Slot-Of: Elevator, Platform_model
Used-In-Constraint:
C-41, Car_cab_weight_c, Car_return_left_c01, Car_return_left_c03, Car_return_left_c04, Car_return_left_c06, Car_return_left_c07, Car_return_left_c09, Car_return_right_c, Platform_model_c01, Platform_model_c02, Platform_model_c03, Platform_weight_c01, Platform_weight_c02, Platform_weight_c03, Platform_weight_factor_ap_c02, Platform_weight_factor_ap_c03, Platform_weight_factor_ap_c04, Platform_weight_factor_ap_c05, Platform_weight_factor_ap_c06, Platform_weight_factor_ap_c07, Platform_weight_factor_ap_c08, Platform_weight_factor_ap_c09, Platform_weight_factor_ap_c10, Platform_weight_factor_ap_c11, Platform_width_c01, Safety_beam_between_guiderails_c, Safety_beam_model_c01, Safety_beam_model_c02, Safety_beam_model_c03, Safety_beam_weight_c, Sling_weight_c

Other Related Axioms:

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

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

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

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

(Inherited-Facet-Value Slot-Value-Type
                       Platform_Model
                       Platform_Width_F
                       Real-Number)

(Inherited-Facet-Value Slot-Cardinality
                       Platform_Model
                       Platform_Width_F
                       1)

(<= (Has-Parameter-Slot $X Platform_Width_F) (Platform_Model $X))

(Inherited-Slot-Value Platform_Model
                      Has-Parameter-Slot
                      Platform_Width_F)

Notes: