Class CAR1

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Car

Has-Parameter-Slot:

Car_cable_hanger_weight, Car_duct_and_wiring_weight, Car_guideshoe_weight, Car_landing_switch_weight, Car_limit_switch_cam_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

---

Slots on instances of this class:

Car_Cable_Hanger_Weight: 30

Car_Duct_And_Wiring_Weight: 45

Car_Guideshoe_Weight: 18

Car_Landing_Switch_Weight: 20

Car_Limit_Switch_Cam_Weight: 35

Car_Maintenance_Station_Weight: 7

Has-Parameter-Slot:

Car_cable_hanger_weight, Car_duct_and_wiring_weight, Car_guideshoe_weight, Car_landing_switch_weight, Car_limit_switch_cam_weight

Model-Id: Car1

Other Related Axioms:

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

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

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

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

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

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

(<= (Car_Maintenance_Station_Weight $X 7) (Car1 $X))

(<= (Car_Limit_Switch_Cam_Weight $X 35) (Car1 $X))

(<= (Car_Landing_Switch_Weight $X 20) (Car1 $X))

(<= (Car_Guideshoe_Weight $X 18) (Car1 $X))

(<= (Car_Duct_And_Wiring_Weight $X 45) (Car1 $X))

(<= (Car_Cable_Hanger_Weight $X 30) (Car1 $X))