| Friction(friction) | | adhesive_friction, friction, grip, rubbing, traction |
| appearance as argument number 1 |
|
|
| (documentation Friction EnglishLanguage "A MechanicalProcess in which mechanical energy is converted into a heat") | engineering.kif 600-601 | |
| (subclass Friction MechanicalProcess) | engineering.kif 602-602 | 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 617-627 | 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 639-649 | 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 588-594 | 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 607-615 | 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 629-637 | 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 693-707 | 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 4531-4541 | 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 |
|
|
|