| 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 4169-4174 | |
| (subclass MechanicalNut AttachingDevice) | Cars.kif 4167-4167 | 子類 MechanicalNut and 附著裝置 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MechanicalNut "nut") | Cars.kif 4168-4168 |
| antecedent |
|
|
| (=> (instance ?N MechanicalNut) (hasPurpose ?N (exists (?A ?B) (and (instance ?A Attaching) (instance ?B Bolt) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4176-4184 |
| consequent |
|
|
| (=> (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 | |
| (=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N))))) |
Cars.kif 4204-4212 |
|
|
|