Class CAR

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Vt-component

Has-Constraint: C-10

Inherited-Slot-Value: C-10

Has-Parameter-Slot:

Car_cable_hanger_weight, Car_duct_and_wiring_weight, Car_guideshoe_weight, Car_landing_switch_weight, Car_limit_switch_cam_weight, Car_maintenance_station_weight, Car_supplement_weight

Inherited-Slot-Value:

Car_cable_hanger_weight, Car_duct_and_wiring_weight, Car_guideshoe_weight, Car_landing_switch_weight, Car_limit_switch_cam_weight, Car_maintenance_station_weight, Car_supplement_weight

Range-Of: Elevator.car

Superclass-Of: Car1

---

Slots on instances of this class:

Car_Cable_Hanger_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Duct_And_Wiring_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Guideshoe_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Landing_Switch_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Limit_Switch_Cam_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Maintenance_Station_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Car_Supplement_Weight:

Slot-Cardinality: 1

Slot-Value-Type: Integer

Has-Constraint: C-10

Has-Parameter-Slot:

Car_cable_hanger_weight, Car_duct_and_wiring_weight, Car_guideshoe_weight, Car_landing_switch_weight, Car_limit_switch_cam_weight, Car_maintenance_station_weight, Car_supplement_weight

Model-Id:

Slot-Cardinality: 1

Other Related Axioms:

(<= (Has-Constraint $X C-10) (Car $X))

(<= (Has-Parameter-Slot $X Car_Supplement_Weight) (Car $X))

(<= (Has-Parameter-Slot $X Car_Maintenance_Station_Weight) (Car $X))

(<= (Has-Parameter-Slot $X Car_Limit_Switch_Cam_Weight) (Car $X))

(<= (Has-Parameter-Slot $X Car_Landing_Switch_Weight) (Car $X))

(<= (Has-Parameter-Slot $X Car_Guideshoe_Weight) (Car $X))

(<= (Has-Parameter-Slot $X Car_Duct_And_Wiring_Weight) (Car $X))

(<= (Has-Parameter-Slot $X Car_Cable_Hanger_Weight) (Car $X))

(Inherited-Facet-Value Slot-Value-Type Elevator Elevator.Car Car)

(=> (Elevator.Car $X $Y) (Car $Y))