Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Friction
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Friction EnglishLanguage "A MechanicalProcess in which mechanical energy is converted into a heat") | engineering.kif 730-731 | |
| (subclass Friction MechanicalProcess) | engineering.kif 732-732 | Friction is a subclass of mechanical process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?S WearingFrictionSurface) (hasPurpose ?S (exists (?F) (and (instance ?F Friction) (resource ?F ?S))))) |
Cars.kif 525-531 | If X is an instance of wearing friction surface, then X has the purpose there exists Y such that Y is an instance of friction and X is a resource for Y |
| (=> (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 |
| (=> (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 ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F))))) |
Cars.kif 630-644 | If All of the following hold: (1) X is an instance of brake pedal (2) Y is an instance of pushing (3) Z is an instance of vehicle (4) Y ends up at X (5) Y is located at Z (6) X is a part of Z, then X has the purpose there exist W, V such that W is an instance of wearing friction surface, V is an instance of friction, W is an instrument for V, and Y causes V |
| (=> (instance ?TC TireChain) (hasPurpose ?TC (exists (?V ?W ?F) (and (instance ?V RoadVehicle) (instance ?W Wheel) (part ?W ?V) (instance ?F Friction) (covers ?TC ?W) (instrument ?F ?TC))))) |
Cars.kif 4345-4355 | If X is an instance of snow chain, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of road vehicle (3) Z is an instance of wheel (4) Z is a part of Y (5) W is an instance of friction (6) X covers Z (7) X is an instrument for W |
|