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 4155-4156 | |
(subclass Wrench Device) | Cars.kif 4153-4153 | Wrench e' uma sub-classe de Aparelho |
appearance as argument number 2 |
(subclass Ratchet Wrench) | Cars.kif 4929-4929 | Ratchet e' uma sub-classe de Wrench |
(subclass TorqueWrench Wrench) | Cars.kif 4148-4148 | TorqueWrench e' uma sub-classe de Wrench |
(termFormat EnglishLanguage Wrench "wrench") | Cars.kif 4154-4154 |
antecedent |
(=> (instance ?W Wrench) (hasPurpose ?W (exists (?R ?AD) (and (instance ?R Rotating) (instance ?AD AttachingDevice) (patient ?R ?AD) (instrument ?R ?W))))) |
Cars.kif 4158-4166 |