|
|
   BrakeShoe
|
|
|
| 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 | BrakeShoe e' uma sub-classe de WearingFrictionSurface |
| (typicalPart BrakeShoe DrumBrake) | Cars.kif 600-600 | typicalPart BrakeShoe and DrumBrake |
| 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 | |
| (=> (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 |
|
|
|