Class HOIST_CABLE_MODEL_M02

• 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: 3

Hoist_Cable_Ultimate_Strength: 23000

Hoist_Cable_Unit_Weight: 0.048

Model-Id: Hoist_cable_model_m02

Other Related Axioms:

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

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

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

(<= (Hoist_Cable_Quantity_F $X 3) (Hoist_Cable_Model_M02 $X))

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

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

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

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

Notes:

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