Class COUNTERWEIGHT_BETWEEN_GUIDERAILS_M02

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Counterweight_between_guiderails_m

---

Slots on instances of this class:

Model-Id: Counterweight_between_guiderails_m02

Other Related Axioms:

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

Notes:

• Formerly-Named: counterweightbg_2
• Source: The Yost document, under " COUNTERWEIGHT_BETWEEN_GUIDERAILS "