Class
COUNTERWEIGHT_BETWEEN_GUIDERAILS_M03
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_m03
Other Related Axioms:
(<= (
Model-Id
$
X
Counterweight_Between_Guiderails_M03
) (
Counterweight_Between_Guiderails_M03
$
X
))
Notes:
Formerly-Named:
counterweightbg_3
Source:
The Yost document, under "
COUNTERWEIGHT_BETWEEN_GUIDERAILS
"