TreeView Knowledge Base Browser

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

appearance as argument number 2

(subclass Ratchet Wrench)	Cars.kif 4929-4929	Ratchet ist eine teilkategorie von Wrench
(subclass TorqueWrench Wrench)	Cars.kif 4148-4148	TorqueWrench ist eine teilkategorie von 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

Wenn Physical ist ein fall von Wrench %n{nicht},
dann ** Physical hat Zweck von es gibt entity und ** entity um ** entity ist ein fall von Rotating %n{nicht} und ** ** entity ist ein fall von AttachingDevice %n{nicht} und ** ** entity ist ein patient von ** entity %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}