TreeView Knowledge Base Browser - WearingFrictionSurface

appearance as argument number 1

(subclass WearingFrictionSurface Device)	Cars.kif 519-519	Wearing friction surface is a subclass of device
(documentation WearingFrictionSurface EnglishLanguage "A device designed to cause friction and exhibit a particular process of wear. This includes items such as brake pads and match striking surfaces on a matchbox.")	Cars.kif 521-523	Wearing friction surface is a subclass of device

appearance as argument number 2

(termFormat EnglishLanguage WearingFrictionSurface "wearing friction surface")	Cars.kif 520-520
(subclass BrakeShoe WearingFrictionSurface)	Cars.kif 533-533	Brake shoe is a subclass of wearing friction surface
(subclass BrakePad WearingFrictionSurface)	Cars.kif 595-595	Brake pad is a subclass of wearing friction surface

antecedent

(=>
    (instance ?S WearingFrictionSurface)
    (hasPurpose ?S
        (exists (?F)
            (and
                (instance ?F Friction)
                (resource ?F ?S)))))

If X is an instance of wearing friction surface, then X has the purpose there exists Y such that Y is an instance of friction and X is a resource for Y

consequent

(=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F)))))	Cars.kif 630-644	If All of the following hold: (1) X is an instance of brake pedal (2) Y is an instance of pushing (3) Z is an instance of vehicle (4) Y ends up at X (5) Y is located at Z (6) X is a part of Z, then X has the purpose there exist W, V such that W is an instance of wearing friction surface, V is an instance of friction, W is an instrument for V, and Y causes V
(=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?P ?W) (and (instance ?P Pushing) (instrument ?P ?BC) (patient ?P ?W) (instance ?W WearingFrictionSurface)))))	Cars.kif 1446-1454	If X is an instance of brake caliper, then X has the purpose there exist Y, Z such that Y is an instance of pushing, X is an instrument for Y, Z is a patient of Y, and Z is an instance of wearing friction surface