Class
MACHINE_GROOVE_MODEL_M01
Defined in theory:
Vt-domain
Source code:
vt-domain.lisp
Slots on this class:
Instance-Of
:
Class
Subclass-Of
:
Machine_groove_model
Slots on instances of this class:
Model-Id
:
Machine_groove_model_m01
Other Related Axioms:
(<= (
Model-Id
$
X
Machine_Groove_Model_M01
) (
Machine_Groove_Model_M01
$
X
))
Notes:
Formerly-Named:
msheavegroove_k3140
Source:
The Yost document, under "
MACHINE_GROOVE_MODEL
"