Ratchet - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Ratchet Wrench)	Cars.kif 4813-4813	Ratchet is a subclass of wrench
(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 4814-4817	Ratchet is a subclass of wrench

appearance as argument number 2

(subclass SnapOnRatchet Ratchet)	Cars.kif 4854-4854	Snap_On ratchet is a subclass of ratchet
(termFormat EnglishLanguage Ratchet "ratchet")	domainEnglishFormat.kif 65389-65389	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))

If All of the following hold: (1) X is an instance of ratchet (2) Y is an instance of attaching device (3) Z is an instance of rotating (4) W is an attribute of Z (5) V is an instance of rotating (6) U is an attribute of V (7) W is an instance of rotational attribute (8) U is an instance of rotational attribute (9) equal Z and V (10) Z causes V (11) ratchet is a patient of Z (12) Y is a patient of V, then equal W and U