| MechanicalNut | |
| 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 4244-4249 | |
| (subclass MechanicalNut AttachingDevice) | Cars.kif 4242-4242 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MechanicalNut "nut") | Cars.kif 4243-4243 |
| antecedent |
|
|
| (=> (instance ?N MechanicalNut) (hasPurpose ?N (exists (?A ?B) (and (instance ?A Attaching) (instance ?B Bolt) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4251-4259 |
| consequent |
|
|
| (=> (instance ?B Bolt) (hasPurpose ?B (exists (?A ?N) (and (instance ?A Attaching) (instance ?N MechanicalNut) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4232-4240 | |
| (=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N))))) |
Cars.kif 4279-4287 |
|
|
|