TreeView Knowledge Base Browser

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 ist eine teilkategorie von Wrench

appearance as argument number 2

(subclass SnapOnRatchet Ratchet)	Cars.kif 4947-4947	SnapOnRatchet ist eine teilkategorie von Ratchet
(termFormat EnglishLanguage Ratchet "ratchet")	domainEnglishFormat.kif 65388-65388

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

Wenn Entity ist ein fall von Ratchet %n{nicht} und ** Entity ist ein fall von AttachingDevice %n{nicht} und ** EntityO1 ist ein fall von Rotating %n{nicht} und Attribute ist ein attribut von ** EntityO1 %n{nicht} und ** EntityO2 ist ein fall von Rotating %n{nicht} und ** Attribute ist ein attribut von ** EntityO2 %n{nicht} und ** Attribute ist ein fall von RotationalAttribute %n{nicht} und ** ** Attribute ist ein fall von RotationalAttribute %n{nicht} und ** EntityO1 ist gleich ** EntityO2 nicht und ** EntityO1 verursacht ** EntityO2 %n{nicht} und Ratchet ist ein patient von ** EntityO1 %n{nicht} und ** ** Entity ist ein patient von ** EntityO2 %n{nicht},
dann ** Attribute ist gleich ** ** Attribute %n{nicht}