Class HOIST_CABLE_MODEL_M04

• 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.625

Hoist_Cable_Quantity_F: 4

Hoist_Cable_Ultimate_Strength: 23000

Hoist_Cable_Unit_Weight: 0.048

Model-Id: Hoist_cable_model_m04

Other Related Axioms:

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

(<= (Hoist_Cable_Unit_Weight $X 0.048) (Hoist_Cable_Model_M04 $X))

(<= (Hoist_Cable_Ultimate_Strength $X 23000)
    (Hoist_Cable_Model_M04 $X))

(<= (Hoist_Cable_Quantity_F $X 4) (Hoist_Cable_Model_M04 $X))

(<= (Hoist_Cable_Diameter $X 0.625) (Hoist_Cable_Model_M04 $X))

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

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

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

Notes:

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