BrakeShoe - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BrakeShoe

BrakeShoe(brake shoe)

brake_shoe, shoe, skid

appearance as argument number 1

(documentation BrakeShoe EnglishLanguage "A WearingFrictionSurface that is designed to press against a rotating BrakeDrum to cause vehicle braking.")	Cars.kif 597-598
(subclass BrakeShoe WearingFrictionSurface)	Cars.kif 596-596	Brake shoe is a subclass of wearing friction surface
(typicalPart BrakeShoe DrumBrake)	Cars.kif 600-600	A brake shoe is typically a part of a drum brake

appearance as argument number 2

(termFormat EnglishLanguage BrakeShoe "brake shoe")

Cars.kif 599-599

antecedent

(=> (and (instance ?BS BrakeShoe) (instance ?BD BrakeDrum) (instance ?R Rotating) (patient ?R ?BD) (instance ?F Friction) (resource ?F ?BS) (patient ?F ?BD)) (not (patient ?R ?BS)))	Cars.kif 639-649	If an object is an instance of brake shoe and an entity is an instance of brake drum 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 BrakeShoe) (hasPurpose ?B (exists (?F ?BD) (and (instance ?F Friction) (resource ?F ?B) (instance ?BD BrakeDrum) (patient ?F ?BD)))))	Cars.kif 629-637	If a physical is an instance of brake shoe, then the physical has the purpose there exist an entity and the physicalD such that the entity is an instance of friction and the physical is a resource for the entity and the physicalD is an instance of brake drum and the physicalD 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