Class DOOR_MODEL_CODE_M02

• 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_strike_side, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight

Inherited-Slot-Value:

Car_saf_t_edge_weight, Door_opening_strike_side, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight

---

Slots on instances of this class:

Car_Saf_T_Edge_Weight: 7

Door_Opening_Strike_Side: lh

Door_Opening_Type_S: so

Door_Operator_Constant: 1.5

Door_Operator_Engine_Weight: 135

Door_Speed_Code: 2s

Has-Parameter-Slot:

Car_saf_t_edge_weight, Door_opening_strike_side, Door_opening_type_s, Door_operator_constant, Door_operator_engine_weight

Model-Id: Door_model_code_m02

Other Related Axioms:

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

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

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

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

(<= (Has-Parameter-Slot $X Door_Opening_Strike_Side)
    (Door_Model_Code_M02 $X))

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

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

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

(<= (Door_Operator_Constant $X 1.5) (Door_Model_Code_M02 $X))

(<= (Door_Opening_Type_S $X so) (Door_Model_Code_M02 $X))

(<= (Door_Opening_Strike_Side $X lh) (Door_Model_Code_M02 $X))

(<= (Car_Saf_T_Edge_Weight $X 7) (Door_Model_Code_M02 $X))

Notes:

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