Class GOVERNOR_CABLE_MODEL_M01

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Governor_cable_model

Has-Parameter-Slot: Governor_cable_diameter

Inherited-Slot-Value: Governor_cable_diameter

---

Slots on instances of this class:

Governor_Cable_Diameter: 0.375

Has-Parameter-Slot: Governor_cable_diameter

Model-Id: Governor_cable_model_m01

Other Related Axioms:

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

(<= (Has-Parameter-Slot $X Governor_Cable_Diameter)
    (Governor_Cable_Model_M01 $X))

(<= (Governor_Cable_Diameter $X 0.375) (Governor_Cable_Model_M01 $X))

Notes:

• Formerly-Named: govcable1
• Source: The Yost document, under " GOVERNOR_MODEL "