Function MODEL-ID

Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function
Arity: 2
Parameter-Slot-Of: Governor_model, Machine_groove_model
Used-In-Constraint:
C-11, C-24_1, C-24_2, C-28_1, C-28_2, C-28_3, C-34_1, C-34_2, C-34_3, C-34_4, C-36_2, C-36_3, C-45, C-46_1, C-46_2, C-46_3, C-46_4, C-48_1, C-48_2, C-5_2, C-5_3, Car_guiderail_vertical_force_maximum_c02, Car_guiderail_vertical_force_maximum_c03, Car_guiderail_vertical_force_maximum_c04, Car_guiderail_vertical_force_maximum_c05, Car_guiderail_vertical_force_maximum_c06, Car_guiderail_vertical_force_maximum_c07, Car_guiderail_vertical_force_maximum_c08, Car_guiderail_vertical_force_maximum_c09, Car_guiderail_vertical_force_maximum_c10, Car_guiderail_vertical_force_maximum_c11, Car_intercom_c02, Car_intercom_c03, Car_lantern_c02, Car_lantern_c03, Car_phone_c02, Car_phone_c03, Car_position_indicator_c02, Car_position_indicator_c03, Car_return_left_c04, Car_return_left_c05, Car_return_left_c06, Car_return_left_c07, Car_return_left_c08, Car_return_left_c09, Compensation_cable_length_c01, Compensation_cable_length_c02, Compensation_cable_model_c01, Compensation_cable_model_c02, Compensation_cable_model_c03, Compensation_cable_model_c04, Compensation_cable_model_c05, Control_cable_model_c01, Control_cable_model_c02, Control_cable_model_c03, Counterweight_guard_required_c, Counterweight_guard_required_c2, Crosshead_model_c01, Crosshead_model_c02, Crosshead_model_c03, Crosshead_model_c04, Crosshead_model_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, Motorscompatible_machine18, Motorscompatible_machine28, Motorscompatible_machine58, Peakmcur_calc_10hp_1, Peakmcur_calc_10hp_2, Peakmcur_calc_10hp_3, Peakmcur_calc_15hp_1, Peakmcur_calc_15hp_2, Peakmcur_calc_15hp_3, Peakmcur_calc_20hp_1, Peakmcur_calc_20hp_2, Peakmcur_calc_25hp_1, Peakmcur_calc_25hp_2, Peakmcur_calc_25hp_3, Peakmcur_calc_30hp_1, Peakmcur_calc_30hp_2, Peakmcur_calc_40hp_1, Peakmcur_calc_40hp_2, Platform_model_c01, Platform_model_c02, Platform_model_c03, Platform_model_c04, 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_weight_factor_s_c02, Platform_weight_factor_s_c03, Platform_weight_factor_x_c01, Platform_weight_factor_x_c02, Platform_weight_factor_x_c03, Platform_weight_factor_x_c04, Platform_weight_factor_x_c05, Platform_weight_factor_z_c01, Safety_beam_model_c01, Safety_beam_model_c02, Safety_beam_model_c03

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality Car Model-Id 1)

(<= (Model-Id $X Car1) (Car1 $X))

(Inherited-Facet-Value Slot-Cardinality Car_Buffer_Model Model-Id 1)

(<= (Model-Id $X Car_Buffer_Model_Oh1) (Car_Buffer_Model_Oh1 $X))

(<= (Model-Id $X Car_Buffer_Model_Om14) (Car_Buffer_Model_Om14 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Car_Guiderail_Model
                       Model-Id
                       1)

(<= (Model-Id $X Car_Guiderail_Model_M01)
    (Car_Guiderail_Model_M01 $X))

(<= (Model-Id $X Car_Guiderail_Model_M02)
    (Car_Guiderail_Model_M02 $X))

(<= (Model-Id $X Car_Guiderail_Model_M03)
    (Car_Guiderail_Model_M03 $X))

(<= (Model-Id $X Car_Guiderail_Model_M04)
    (Car_Guiderail_Model_M04 $X))

(<= (Model-Id $X Car_Guiderail_Model_M05)
    (Car_Guiderail_Model_M05 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Compensation_Cable_Model
                       Model-Id
                       1)

(<= (Model-Id $X Compensation_Cable_Model_M01)
    (Compensation_Cable_Model_M01 $X))

(<= (Model-Id $X Compensation_Cable_Model_M02)
    (Compensation_Cable_Model_M02 $X))

(<= (Model-Id $X Compensation_Cable_Model_M03)
    (Compensation_Cable_Model_M03 $X))

(<= (Model-Id $X Compensation_Cable_Model_M04)
    (Compensation_Cable_Model_M04 $X))

(<= (Model-Id $X Compensation_Cable_Model_M05)
    (Compensation_Cable_Model_M05 $X))

(<= (Model-Id $X Compensation_Cable_Model_M06)
    (Compensation_Cable_Model_M06 $X))

(<= (Model-Id $X Compensation_Cable_Model_M07)
    (Compensation_Cable_Model_M07 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Control_Cable_Model
                       Model-Id
                       1)

(<= (Model-Id $X Control_Cable_Model_M01)
    (Control_Cable_Model_M01 $X))

(<= (Model-Id $X Control_Cable_Model_M02)
    (Control_Cable_Model_M02 $X))

(<= (Model-Id $X Control_Cable_Model_M03)
    (Control_Cable_Model_M03 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Counterweight_Between_Guiderails_M
                       Model-Id
                       1)

(<= (Model-Id $X Counterweight_Between_Guiderails_M01)
    (Counterweight_Between_Guiderails_M01 $X))

(<= (Model-Id $X Counterweight_Between_Guiderails_M02)
    (Counterweight_Between_Guiderails_M02 $X))

(<= (Model-Id $X Counterweight_Between_Guiderails_M03)
    (Counterweight_Between_Guiderails_M03 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Counterweight_Buffer_Model
                       Model-Id
                       1)

(<= (Model-Id $X Counterweight_Buffer_Model_M01)
    (Counterweight_Buffer_Model_M01 $X))

(<= (Model-Id $X Counterweight_Buffer_Model_M02)
    (Counterweight_Buffer_Model_M02 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Counterweight_Guard_Required
                       Model-Id
                       1)

(<= (Model-Id $X Counterweight_Guard_Thickness_M01)
    (Counterweight_Guard_Thickness_M01 $X))

(<= (Model-Id $X Counterweight_Guard_Thickness_M02)
    (Counterweight_Guard_Thickness_M02 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Counterweight_Guiderail_Model
                       Model-Id
                       1)

(<= (Model-Id $X Counterweight_Guiderail_Model_M01)
    (Counterweight_Guiderail_Model_M01 $X))

(<= (Model-Id $X Counterweight_Guiderail_Model_M02)
    (Counterweight_Guiderail_Model_M02 $X))

(<= (Model-Id $X Counterweight_Guiderail_Model_M03)
    (Counterweight_Guiderail_Model_M03 $X))

(<= (Model-Id $X Counterweight_Guiderail_Model_M04)
    (Counterweight_Guiderail_Model_M04 $X))

(Inherited-Facet-Value Slot-Cardinality Crosshead_Model Model-Id 1)

(<= (Model-Id $X Crosshead_Model_M01) (Crosshead_Model_M01 $X))

(<= (Model-Id $X Crosshead_Model_M02) (Crosshead_Model_M02 $X))

(<= (Model-Id $X Crosshead_Model_M03) (Crosshead_Model_M03 $X))

(<= (Model-Id $X Crosshead_Model_M04) (Crosshead_Model_M04 $X))

(<= (Model-Id $X Crosshead_Model_M05) (Crosshead_Model_M05 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Deflector_Sheave_Model
                       Model-Id
                       1)

(Inherited-Facet-Value Slot-Cardinality Door_Model Model-Id 1)

(<= (Model-Id $X Door_Model_Code_M01) (Door_Model_Code_M01 $X))

(<= (Model-Id $X Door_Model_Code_M02) (Door_Model_Code_M02 $X))

(<= (Model-Id $X Door_Model_Code_M03) (Door_Model_Code_M03 $X))

(<= (Model-Id $X Door_Model_Code_M04) (Door_Model_Code_M04 $X))

(<= (Model-Id $X Door_Model_Code_M05) (Door_Model_Code_M05 $X))

(<= (Model-Id $X Door_Model_Code_M06) (Door_Model_Code_M06 $X))

(<= (Model-Id $X Deflector_Sheave_Model_M01)
    (Deflector_Sheave_Model_M01 $X))

(<= (Model-Id $X Deflector_Sheave_Model_M02)
    (Deflector_Sheave_Model_M02 $X))

(Inherited-Facet-Value Slot-Cardinality Elevator Model-Id 1)

(Inherited-Facet-Value Slot-Cardinality Governor_Model Model-Id 1)

(<= (Has-Parameter-Slot $X Model-Id) (Governor_Model $X))

(Inherited-Slot-Value Governor_Model Has-Parameter-Slot Model-Id)

(Inherited-Facet-Value Slot-Cardinality
                       Governor_Cable_Model
                       Model-Id
                       1)

(<= (Model-Id $X Governor_Cable_Model_M01)
    (Governor_Cable_Model_M01 $X))

(<= (Model-Id $X Governor_Model_M01) (Governor_Model_M01 $X))

(Inherited-Facet-Value Slot-Cardinality Hoist_Cable_Model Model-Id 1)

(<= (Model-Id $X Hoist_Cable_Model_M01) (Hoist_Cable_Model_M01 $X))

(<= (Model-Id $X Hoist_Cable_Model_M02) (Hoist_Cable_Model_M02 $X))

(<= (Model-Id $X Hoist_Cable_Model_M03) (Hoist_Cable_Model_M03 $X))

(<= (Model-Id $X Hoist_Cable_Model_M04) (Hoist_Cable_Model_M04 $X))

(<= (Model-Id $X Hoist_Cable_Model_M05) (Hoist_Cable_Model_M05 $X))

(<= (Model-Id $X Hoist_Cable_Model_M06) (Hoist_Cable_Model_M06 $X))

(<= (Model-Id $X Hoist_Cable_Model_M07) (Hoist_Cable_Model_M07 $X))

(<= (Model-Id $X Hoist_Cable_Model_M08) (Hoist_Cable_Model_M08 $X))

(Inherited-Facet-Value Slot-Cardinality Car_Intercom Model-Id 1)

(<= (Model-Id $X Car_Intercom_M01) (Car_Intercom_M01 $X))

(<= (Model-Id $X Car_Intercom_M02) (Car_Intercom_M02 $X))

(Inherited-Facet-Value Slot-Cardinality Car_Lantern Model-Id 1)

(<= (Model-Id $X Car_Lantern_M01) (Car_Lantern_M01 $X))

(<= (Model-Id $X Car_Lantern_M02) (Car_Lantern_M02 $X))

(Inherited-Facet-Value Slot-Cardinality Machine_Model Model-Id 1)

(<= (Model-Id $X Machine_Model_M01) (Machine_Model_M01 $X))

(<= (Model-Id $X Machine_Model_M02) (Machine_Model_M02 $X))

(<= (Model-Id $X Machine_Model_M03) (Machine_Model_M03 $X))

(<= (Model-Id $X Machine_Model_M04) (Machine_Model_M04 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Machine_Beam_Model
                       Model-Id
                       1)

(<= (Model-Id $X Machine_Beam_Model_M01) (Machine_Beam_Model_M01 $X))

(<= (Model-Id $X Machine_Beam_Model_M02) (Machine_Beam_Model_M02 $X))

(<= (Model-Id $X Machine_Beam_Model_M03) (Machine_Beam_Model_M03 $X))

(<= (Model-Id $X Machine_Beam_Model_M04) (Machine_Beam_Model_M04 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Motor_Generator_Model
                       Model-Id
                       1)

(<= (Model-Id $X Motor_Generator_Model_M01)
    (Motor_Generator_Model_M01 $X))

(<= (Model-Id $X Motor_Generator_Model_M02)
    (Motor_Generator_Model_M02 $X))

(<= (Model-Id $X Motor_Generator_Model_M03)
    (Motor_Generator_Model_M03 $X))

(<= (Model-Id $X Motor_Generator_Model_M04)
    (Motor_Generator_Model_M04 $X))

(Inherited-Facet-Value Slot-Cardinality Motor Model-Id 1)

(<= (Model-Id $X Motor_Model_M01) (Motor_Model_M01 $X))

(<= (Model-Id $X Motor_Model_M02) (Motor_Model_M02 $X))

(<= (Model-Id $X Motor_Model_M03) (Motor_Model_M03 $X))

(<= (Model-Id $X Motor_Model_M04) (Motor_Model_M04 $X))

(<= (Model-Id $X Motor_Model_M05) (Motor_Model_M05 $X))

(<= (Model-Id $X Motor_Model_M06) (Motor_Model_M06 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Machine_Groove_Model
                       Model-Id
                       1)

(<= (Has-Parameter-Slot $X Model-Id) (Machine_Groove_Model $X))

(Inherited-Slot-Value Machine_Groove_Model
                      Has-Parameter-Slot
                      Model-Id)

(<= (Model-Id $X Machine_Groove_Model_M01)
    (Machine_Groove_Model_M01 $X))

(<= (Model-Id $X Machine_Groove_Model_M02)
    (Machine_Groove_Model_M02 $X))

(Inherited-Facet-Value Slot-Cardinality Car_Phone Model-Id 1)

(<= (Model-Id $X Car_Phone_M01) (Car_Phone_M01 $X))

(<= (Model-Id $X Car_Phone_M02) (Car_Phone_M02 $X))

(Inherited-Facet-Value Slot-Cardinality Platform_Model Model-Id 1)

(<= (Model-Id $X Platform_Model_M01) (Platform_Model_M01 $X))

(<= (Model-Id $X Platform_Model_M02) (Platform_Model_M02 $X))

(<= (Model-Id $X Platform_Model_M03) (Platform_Model_M03 $X))

(Inherited-Facet-Value Slot-Cardinality
                       Car_Position_Indicator
                       Model-Id
                       1)

(<= (Model-Id $X Car_Position_Indicator_M01)
    (Car_Position_Indicator_M01 $X))

(<= (Model-Id $X Car_Position_Indicator_M02)
    (Car_Position_Indicator_M02 $X))

(Inherited-Facet-Value Slot-Cardinality Safety_Beam_Model Model-Id 1)

(<= (Model-Id $X Safety_Beam_Model_M01) (Safety_Beam_Model_M01 $X))

(<= (Model-Id $X Safety_Beam_Model_M02) (Safety_Beam_Model_M02 $X))

(<= (Model-Id $X Safety_Beam_Model_M03) (Safety_Beam_Model_M03 $X))

(Inherited-Facet-Value Slot-Cardinality Sling_Model Model-Id 1)

(<= (Model-Id $X Sling_Model_M01) (Sling_Model_M01 $X))

(<= (Model-Id $X Sling_Model_M02) (Sling_Model_M02 $X))

(<= (Model-Id $X Sling_Model_M03) (Sling_Model_M03 $X))

(<= (Model-Id $X Sling_Model_M04) (Sling_Model_M04 $X))

(<= (Model-Id $X Sling_Model_M05) (Sling_Model_M05 $X))