|
|
   Wrench
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Wrench EnglishLanguage "A Device that is designed to apply a rotational force to an AttachingDevice, such as a Bolt.") | Cars.kif 4150-4151 | |
| (subclass Wrench Device) | Cars.kif 4148-4148 |
| appearance as argument number 2 |
|
|
| (subclass Ratchet Wrench) | Cars.kif 4924-4924 | |
| (subclass TorqueWrench Wrench) | Cars.kif 4143-4143 | |
| (termFormat EnglishLanguage Wrench "wrench") | Cars.kif 4149-4149 |
| antecedent |
|
|
| (=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W))))) |
Cars.kif 4153-4161 |
|
|
|