Function CAR_GUIDERAIL_WEIGHT

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

Slots on this function:

Instance-Of: Function, Parameter-slot, Unary-function

Arity: 2

Parameter-Slot-Of:

Car_guiderail_model, Car_guiderail_model_m01, Car_guiderail_model_m02, Car_guiderail_model_m03, Car_guiderail_model_m04, Car_guiderail_model_m05

Used-In-Constraint: Car_fixture_weight_c

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Car_Guiderail_Model
                       Car_Guiderail_Weight
                       Integer)

(Inherited-Facet-Value Slot-Cardinality
                       Car_Guiderail_Model
                       Car_Guiderail_Weight
                       1)

(<= (Has-Parameter-Slot $X Car_Guiderail_Weight)
    (Car_Guiderail_Model $X))

(Inherited-Slot-Value Car_Guiderail_Model
                      Has-Parameter-Slot
                      Car_Guiderail_Weight)

(<= (Car_Guiderail_Weight $X 8) (Car_Guiderail_Model_M01 $X))

(<= (Has-Parameter-Slot $X Car_Guiderail_Weight)
    (Car_Guiderail_Model_M01 $X))

(Inherited-Slot-Value Car_Guiderail_Model_M01
                      Has-Parameter-Slot
                      Car_Guiderail_Weight)

(<= (Car_Guiderail_Weight $X 11) (Car_Guiderail_Model_M02 $X))

(<= (Has-Parameter-Slot $X Car_Guiderail_Weight)
    (Car_Guiderail_Model_M02 $X))

(Inherited-Slot-Value Car_Guiderail_Model_M02
                      Has-Parameter-Slot
                      Car_Guiderail_Weight)

(<= (Car_Guiderail_Weight $X 16) (Car_Guiderail_Model_M03 $X))

(<= (Has-Parameter-Slot $X Car_Guiderail_Weight)
    (Car_Guiderail_Model_M03 $X))

(Inherited-Slot-Value Car_Guiderail_Model_M03
                      Has-Parameter-Slot
                      Car_Guiderail_Weight)

(Inherited-Facet-Value Slot-Value-Type
                       Car_Guiderail_Model_M04
                       Car_Guiderail_Weight
                       Real-Number)

(<= (Car_Guiderail_Weight $X 18.5) (Car_Guiderail_Model_M04 $X))

(<= (Has-Parameter-Slot $X Car_Guiderail_Weight)
    (Car_Guiderail_Model_M04 $X))

(Inherited-Slot-Value Car_Guiderail_Model_M04
                      Has-Parameter-Slot
                      Car_Guiderail_Weight)

(<= (Car_Guiderail_Weight $X 32) (Car_Guiderail_Model_M05 $X))

(<= (Has-Parameter-Slot $X Car_Guiderail_Weight)
    (Car_Guiderail_Model_M05 $X))

(Inherited-Slot-Value Car_Guiderail_Model_M05
                      Has-Parameter-Slot
                      Car_Guiderail_Weight)

Notes:

• Formerly-Called: weight
• This used to be called WEIGHT, and used polymorphically. Now there are several different parameters, as suggested by Guus.
• Modification-By: Guus Schreiber: ;; BUG: renaming not done for parameter slot WEIGHT ;; ;; In the last version all paramter slots were consistently renamed ;; Probaly by accident, "weight" was not renamed in 5 cases. ;; The weight paramter slot should probably be replaced by the following ;; five parameter slots: ;; car_guiderail_weight, ;; car_phone_weight ;; car_intercom_weight ;; car_position_indicator_weight ;; car_lantern_weight ;; ;; The constraint car_fixture_weight_c will need to be changed accordingly