Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BrakeShoe(brake shoe) |  | brake_shoe, shoe, skid |
| appearance as argument number 1 |
|
|
| (subclass BrakeShoe WearingFrictionSurface) | Cars.kif 533-533 | Brake shoe is a subclass of wearing friction surface |
| (documentation BrakeShoe EnglishLanguage "A WearingFrictionSurface that is designed to press against a rotating BrakeDrum to cause vehicle braking.") | Cars.kif 534-535 | Brake shoe is a subclass of wearing friction surface |
| (typicalPart BrakeShoe DrumBrake) | Cars.kif 537-537 | A brake shoe is typically a part of a drum brake |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakeShoe "brake shoe") | Cars.kif 536-536 |
| antecedent |
|
|
| (=> (instance ?B BrakeShoe) (hasPurpose ?B (exists (?F ?BD) (and (instance ?F Friction) (resource ?F ?B) (instance ?BD BrakeDrum) (patient ?F ?BD))))) |
Cars.kif 566-574 | If X is an instance of brake shoe, then X has the purpose there exist Y, Z such that Y is an instance of friction, X is a resource for Y, Z is an instance of brake drum, and Z is a patient of Y |
| (=> (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 576-586 | If All of the following hold: (1) X is an instance of brake shoe (2) Y is an instance of brake drum (3) Z is an instance of rotating (4) Y is a patient of Z (5) W is an instance of friction (6) X is a resource for W (7) Y is a patient of W, then X is not a patient of Z |
|