WearingFrictionSurface - Sigma Knowledge base Browser

appearance as argument number 1

(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 584-586
(subclass WearingFrictionSurface Device)	Cars.kif 582-582	Wearing friction surface is a subclass of device

appearance as argument number 2

(subclass BrakePad WearingFrictionSurface)	Cars.kif 658-658	Brake pad is a subclass of wearing friction surface
(subclass BrakeShoe WearingFrictionSurface)	Cars.kif 596-596	Brake shoe is a subclass of wearing friction surface
(termFormat EnglishLanguage WearingFrictionSurface "wearing friction surface")	Cars.kif 583-583	Brake shoe is a subclass of wearing friction surface

antecedent

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

Cars.kif 588-594

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

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 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at the other object and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
(=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?P ?W) (and (instance ?P Pushing) (instrument ?P ?BC) (patient ?P ?W) (instance ?W WearingFrictionSurface)))))	Cars.kif 1567-1575	If a physical is an instance of brake caliper, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of pushing and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of wearing friction surface

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: