![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
DrumBrake
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DrumBrake VehicleBrake) | Cars.kif 539-539 | Drum brake is a subclass of vehicle brake |
| (documentation DrumBrake EnglishLanguage "A Brake in which a BrakeShoe presses against a rotating BrakeDrum to cause vehicle braking.") | Cars.kif 540-541 | Drum brake is a subclass of vehicle brake |
| appearance as argument number 2 |
|
|
| (typicallyContainsPart ParkingBrake DrumBrake) | Cars.kif 502-502 | A drum brake typically has a part parking brake |
| (typicalPart BrakeShoe DrumBrake) | Cars.kif 537-537 | A brake shoe is typically a part of a drum brake |
| (termFormat EnglishLanguage DrumBrake "drum brake") | Cars.kif 542-542 | A brake shoe is typically a part of a drum brake |
| (typicalPart BrakeDrum DrumBrake) | Cars.kif 606-606 | A brake drum is typically a part of a drum brake |
| (typicallyContainsPart BrakeDrum DrumBrake) | Cars.kif 607-607 | A drum brake typically has a part brake drum |