Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BrakePad
|
|
|
| appearance as argument number 1 |
|
|
| (typicalPart BrakePad DiscBrake) | Cars.kif 592-592 | A brake pad is typically a part of a disc brake |
| (documentation BrakePad EnglishLanguage "A WearingFrictionSurface that presses against a BrakeRotor to cause vehicle braking.") | Cars.kif 593-594 | A brake pad is typically a part of a disc brake |
| (subclass BrakePad WearingFrictionSurface) | Cars.kif 595-595 | Brake pad is a subclass of wearing friction surface |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakePad "brake pad") | domainEnglishFormat.kif 64567-64567 |
| antecedent |
|
|
| (=> (instance ?B BrakePad) (hasPurpose ?B (exists (?F ?BR) (and (instance ?F Friction) (resource ?F ?B) (instance ?BR BrakeRotor) (patient ?F ?BR))))) |
Cars.kif 544-552 | If X is an instance of brake pad, 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 rotor, and Z is a patient of Y |
| (=> (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 554-564 | If All of the following hold: (1) X is an instance of brake pad (2) Y is an instance of brake rotor (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 |
|