Function CAR_PHONE_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_phone, Car_phone_m01, Car_phone_m02

Used-In-Constraint: Car_fixture_weight_c

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Car_Phone
                       Car_Phone_Weight
                       Integer)

(Inherited-Facet-Value Slot-Cardinality Car_Phone Car_Phone_Weight 1)

(<= (Has-Parameter-Slot $X Car_Phone_Weight) (Car_Phone $X))

(Inherited-Slot-Value Car_Phone Has-Parameter-Slot Car_Phone_Weight)

(<= (Car_Phone_Weight $X 0) (Car_Phone_M01 $X))

(<= (Has-Parameter-Slot $X Car_Phone_Weight) (Car_Phone_M01 $X))

(Inherited-Slot-Value Car_Phone_M01
                      Has-Parameter-Slot
                      Car_Phone_Weight)

(<= (Car_Phone_Weight $X 10) (Car_Phone_M02 $X))

(<= (Has-Parameter-Slot $X Car_Phone_Weight) (Car_Phone_M02 $X))

(Inherited-Slot-Value Car_Phone_M02
                      Has-Parameter-Slot
                      Car_Phone_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