| Ratchet(ratchet) | | rachet, ratch, ratchet |
| appearance as argument number 1 |
|
|
| (documentation Ratchet EnglishLanguage "A Wrench that allows an engaged Bolt to exhibit Rotating freely in one direction but not another, with respect to the handle of the wrench. Some wrenches have a switch that allows selection of one of two directions of free rotation.") | Cars.kif 4907-4910 | |
| (subclass Ratchet Wrench) | Cars.kif 4906-4906 | Ratchet is a subclass of wrench |
| appearance as argument number 2 |
|
|
| (subclass SnapOnRatchet Ratchet) | Cars.kif 4947-4947 | Snap-On ratchet is a subclass of ratchet |
| (termFormat EnglishLanguage Ratchet "ratchet") | domainEnglishFormat.kif 65434-65434 | Snap-On ratchet is a subclass of ratchet |
| antecedent |
|
|
| (=> (and (instance ?R Ratchet) (instance ?A AttachingDevice) (instance ?RO1 Rotating) (attribute ?RO1 ?DIR1) (instance ?RO2 Rotating) (attribute ?RO2 ?DIR2) (instance ?DIR1 RotationalAttribute) (instance ?DIR2 RotationalAttribute) (not (equal ?RO1 ?RO2)) (causes ?RO1 ?RO2) (patient ?RO1 Ratchet) (patient ?RO2 ?A)) (equal ?DIR1 ?DIR2)) |
Cars.kif 4912-4927 |
|
|
|
|