Class CROSSHEAD_MODEL_M04


Slots on this class:

Instance-Of: Class
Subclass-Of: Crosshead_model
Has-Parameter-Slot: Crosshead_height
Inherited-Slot-Value: Crosshead_height


Slots on instances of this class:

Crosshead_Height: 8.125
Has-Parameter-Slot: Crosshead_height
Model-Id: Crosshead_model_m04

Other Related Axioms:

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

(<= (Has-Parameter-Slot $X Crosshead_Height)
    (Crosshead_Model_M04 $X))

(<= (Crosshead_Height $X 8.125) (Crosshead_Model_M04 $X))


Notes: