Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass MechanicalNut AttachingDevice) | Cars.kif 4052-4052 | Nut is a subclass of attaching device |
| (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 4054-4059 | Nut is a subclass of attaching device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MechanicalNut "nut") | Cars.kif 4053-4053 |
| antecedent |
|
|
| (=> (instance ?N MechanicalNut) (hasPurpose ?N (exists (?A ?B) (and (instance ?A Attaching) (instance ?B Bolt) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4061-4069 | If X is an instance of nut, then X has the purpose there exist Y, Z such that Y is an instance of attaching, Z is an instance of bolt, Z is an instrument for Y, and X is an instrument for Y |
| consequent |
|
|
| (=> (instance ?B Bolt) (hasPurpose ?B (exists (?A ?N) (and (instance ?A Attaching) (instance ?N MechanicalNut) (instrument ?A ?B) (instrument ?A ?N))))) |
Cars.kif 4042-4050 | If X is an instance of bolt, then X has the purpose there exist Y, Z such that Y is an instance of attaching, Z is an instance of nut, X is an instrument for Y, and Z is an instrument for Y |
| (=> (instance ?MT MechanicalDie) (hasPurpose ?MT (exists (?M ?N) (and (instance ?M Making) (instance ?N MechanicalNut) (instrument ?M ?MT) (result ?M ?N))))) |
Cars.kif 4126-4134 | If X is an instance of die, then X has the purpose there exist Y, Z such that Y is an instance of making, Z is an instance of nut, X is an instrument for Y, and Z is a result of Y |
|