Class DOOR_MODEL_CODE_M04

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Door_model

Has-Parameter-Slot:

Car_saf_t_edge_weight, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight

Inherited-Slot-Value:

Car_saf_t_edge_weight, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight

---

Slots on instances of this class:

Car_Saf_T_Edge_Weight: 13

Door_Opening_Type_S: co

Door_Operator_Constant: 1.33

Door_Operator_Engine_Weight: 135

Door_Speed_Code: ss

Has-Parameter-Slot:

Car_saf_t_edge_weight, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight

Model-Id: Door_model_code_m04

Other Related Axioms:

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

(<= (Has-Parameter-Slot $X Door_Operator_Engine_Weight)
    (Door_Model_Code_M04 $X))

(<= (Has-Parameter-Slot $X Door_Operator_Constant)
    (Door_Model_Code_M04 $X))

(<= (Has-Parameter-Slot $X Door_Opening_Type_S)
    (Door_Model_Code_M04 $X))

(<= (Has-Parameter-Slot $X Car_Saf_T_Edge_Weight)
    (Door_Model_Code_M04 $X))

(<= (Door_Speed_Code $X ss) (Door_Model_Code_M04 $X))

(<= (Door_Operator_Engine_Weight $X 135) (Door_Model_Code_M04 $X))

(<= (Door_Operator_Constant $X 1.33) (Door_Model_Code_M04 $X))

(<= (Door_Opening_Type_S $X co) (Door_Model_Code_M04 $X))

(<= (Car_Saf_T_Edge_Weight $X 13) (Door_Model_Code_M04 $X))

Notes:

• Formerly-Named: door_ssco
• Source: The Yost document, under " DOOR_MODEL_CODE "