Class DOOR_MODEL_CODE_M01

• 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: center

Door_Operator_Constant: 2.083

Door_Operator_Engine_Weight: 135

Door_Speed_Code: 2s

Has-Parameter-Slot:

Car_saf_t_edge_weight, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight

Model-Id: Door_model_code_m01

Other Related Axioms:

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

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

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

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

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

(<= (Door_Speed_Code $X 2s) (Door_Model_Code_M01 $X))

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

(<= (Door_Operator_Constant $X 2.083) (Door_Model_Code_M01 $X))

(<= (Door_Opening_Type_S $X center) (Door_Model_Code_M01 $X))

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

Notes:

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