| MechanicalNut(nut) | | butterfly_nut, hex_nut, locknut, nut, packing_nut, safety_nut, square_nut, stuffing_nut, thumbnut, wing-nut, wing_nut, wing_screw |
| appearance as argument number 1 |
|
|
| (documentation MechanicalNut EnglishLanguage "Any object with threads designed to mate with those of a Bolt. This includes any large object with a region that functions as a nut. However, it does not include regions of objects where a screw has created a threaded area and where typically therefore the material is soft enough that retracting and reinserting a screw may create a different thread pattern. This can also be contrasted with regions that are created to be nuts by the use of a MechanicalTap and MechanicalDie set.") | Cars.kif 4245-4250 | |
| (subclass MechanicalNut AttachingDevice) | Cars.kif 4243-4243 | Nut is a subclass of attaching device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MechanicalNut "nut") | Cars.kif 4244-4244 |
| antecedent |
|
|
| (=> (instance ?N MechanicalNut) (hasPurpose ?N (exists (?A ?B) (and (instance ?A Attaching) (instance ?B Bolt) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4252-4260 |
|
| consequent |
|
|
| (=> (instance ?B Bolt) (hasPurpose ?B (exists (?A ?N) (and (instance ?A Attaching) (instance ?N MechanicalNut) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4233-4241 |
|
| (=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N))))) |
Cars.kif 4280-4288 |
|
|
|
|