Function CAR_LANTERN_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_lantern, Car_lantern_m01, Car_lantern_m02

Used-In-Constraint: Car_fixture_weight_c

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       Car_Lantern
                       Car_Lantern_Weight
                       Integer)

(Inherited-Facet-Value Slot-Cardinality
                       Car_Lantern
                       Car_Lantern_Weight
                       1)

(<= (Has-Parameter-Slot $X Car_Lantern_Weight) (Car_Lantern $X))

(Inherited-Slot-Value Car_Lantern
                      Has-Parameter-Slot
                      Car_Lantern_Weight)

(<= (Car_Lantern_Weight $X 0) (Car_Lantern_M01 $X))

(<= (Has-Parameter-Slot $X Car_Lantern_Weight) (Car_Lantern_M01 $X))

(Inherited-Slot-Value Car_Lantern_M01
                      Has-Parameter-Slot
                      Car_Lantern_Weight)

(<= (Car_Lantern_Weight $X 9) (Car_Lantern_M02 $X))

(<= (Has-Parameter-Slot $X Car_Lantern_Weight) (Car_Lantern_M02 $X))

(Inherited-Slot-Value Car_Lantern_M02
                      Has-Parameter-Slot
                      Car_Lantern_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