Class COMPENSATION_CABLE_MODEL_M07

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Compensation_cable_model

Has-Parameter-Slot: Compensation_cable_quantity_c02

Inherited-Slot-Value: Compensation_cable_quantity_c02

---

Slots on instances of this class:

Compensation_Cable_Quantity_C02: 0

Compensation_Cable_Unit_Weight: 0

Slot-Value-Type: Integer, Real-number

Has-Parameter-Slot: Compensation_cable_quantity_c02

Model-Id: Compensation_cable_model_m07

Other Related Axioms:

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

(<= (Has-Parameter-Slot $X Compensation_Cable_Quantity_C02)
    (Compensation_Cable_Model_M07 $X))

(<= (Compensation_Cable_Unit_Weight $X 0)
    (Compensation_Cable_Model_M07 $X))

(<= (Compensation_Cable_Quantity_C02 $X 0)
    (Compensation_Cable_Model_M07 $X))

Notes:

• Formerly-Named: compensationcable_nr
• Source: The Yost document, under " COMPENSATION_CABLE_MODEL "