Class HOIST_CABLE_MODEL_M07

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Hoist_cable_model

Has-Parameter-Slot: Hoist_cable_diameter, Hoist_cable_quantity_f, Hoist_cable_ultimate_strength

Inherited-Slot-Value: Hoist_cable_diameter, Hoist_cable_quantity_f, Hoist_cable_ultimate_strength

---

Slots on instances of this class:

Has-Parameter-Slot: Hoist_cable_diameter, Hoist_cable_quantity_f, Hoist_cable_ultimate_strength

Hoist_Cable_Diameter: 0.5

Hoist_Cable_Quantity_F: 6

Hoist_Cable_Ultimate_Strength: 14500

Hoist_Cable_Unit_Weight: 0.03

Model-Id: Hoist_cable_model_m07

Other Related Axioms:

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

(<= (Hoist_Cable_Unit_Weight $X 0.03) (Hoist_Cable_Model_M07 $X))

(<= (Hoist_Cable_Ultimate_Strength $X 14500)
    (Hoist_Cable_Model_M07 $X))

(<= (Hoist_Cable_Quantity_F $X 6) (Hoist_Cable_Model_M07 $X))

(<= (Hoist_Cable_Diameter $X 0.5) (Hoist_Cable_Model_M07 $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Ultimate_Strength)
    (Hoist_Cable_Model_M07 $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Quantity_F)
    (Hoist_Cable_Model_M07 $X))

(<= (Has-Parameter-Slot $X Hoist_Cable_Diameter)
    (Hoist_Cable_Model_M07 $X))

Notes:

• Formerly-Named: hoistcable6_5
• Source: The Yost document, under " HOIST_CABLE_MODEL "