| Bolt(bolt) | | bolt, carriage_bolt, expansion_bolt, kingbolt, kingpin, machine_bolt, stove_bolt, swivel_pin |
| appearance as argument number 1 |
|
|
| (documentation Bolt EnglishLanguage "Any AttachingDevice that is designed to mate with a MechanicalNut thereby Attaching two Objects. This includes nuts with hexagonal heads that must be held or turned by a Wrench or Screwdriver as well as those that have round heads but some non-round feature that is designed to catch on the material being attached, and therefore prevent rotation, as in a carriage bolt. Bolts are distinguished from Screws in that screws must create a mating surface by gouging a thread into material, whereas bolts are designed to slip through a hole and are held in place by a nut at the opposite end from the head of the bolt. This includes threaded rods that may have nuts as spacers for freely rotating items.") | Cars.kif 4147-4155 | |
| (subclass Bolt AttachingDevice) | Cars.kif 4145-4145 | Bolt is a subclass of attaching device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bolt "bolt") | Cars.kif 4146-4146 |
| antecedent |
|
|
| (=> (instance ?B Bolt) (hasPurpose ?B (exists (?A ?N) (and (instance ?A Attaching) (instance ?N MechanicalNut) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4157-4165 |
|
| consequent |
|
|
|
|
|