BrakePad - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BrakePad

BrakePad(brake pad)

appearance as argument number 1

(documentation BrakePad EnglishLanguage "A WearingFrictionSurface that presses against a BrakeRotor to cause vehicle braking.")	Cars.kif 656-657
(subclass BrakePad WearingFrictionSurface)	Cars.kif 658-658	Brake pad is a subclass of wearing friction surface
(typicalPart BrakePad DiscBrake)	Cars.kif 655-655	A brake pad is typically a part of a disc brake

appearance as argument number 2

(termFormat EnglishLanguage BrakePad "brake pad")

domainEnglishFormat.kif 64557-64557

antecedent

(=> (and (instance ?BP BrakePad) (instance ?BR BrakeRotor) (instance ?R Rotating) (patient ?R ?BR) (instance ?F Friction) (resource ?F ?BP) (patient ?F ?BR)) (not (patient ?R ?BP)))	Cars.kif 617-627	If an object is an instance of brake pad and an entity is an instance of brake rotor and a process is an instance of rotating and the entity is a patient of the process and another process is an instance of friction and the object is a resource for the other process and the entity is a patient of the other process, then the object is not a patient of the process
(=> (instance ?B BrakePad) (hasPurpose ?B (exists (?F ?BR) (and (instance ?F Friction) (resource ?F ?B) (instance ?BR BrakeRotor) (patient ?F ?BR)))))	Cars.kif 607-615	If a physical is an instance of brake pad, then the physical has the purpose there exist an entity and the physicalR such that the entity is an instance of friction and the physical is a resource for the entity and the physicalR is an instance of brake rotor and the physicalR is a patient of the entity

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