Friction
|
|
appearance as argument number 1 |
(documentation Friction EnglishLanguage "A MechanicalProcess in which mechanical energy is converted into a heat") | engineering.kif 644-645 | |
(subclass Friction MechanicalProcess) | engineering.kif 646-646 | Friction ist eine teilkategorie von MechanicalProcess |
appearance as argument number 2 |
(termFormat ChineseLanguage Friction "摩擦") | domainEnglishFormat.kif 25046-25046 | |
(termFormat ChineseTraditionalLanguage Friction "摩擦") | domainEnglishFormat.kif 25045-25045 | |
(termFormat EnglishLanguage Friction "friction") | domainEnglishFormat.kif 25044-25044 |
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 |
|
(=> (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 |
|
consequent |
(=> (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 |
|
(=> (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 |
|
(=> (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 |
|
(=> (instance ?S WearingFrictionSurface) (hasPurpose ?S (exists (?F) (and (instance ?F Friction) (resource ?F ?S))))) |
Cars.kif 588-594 |
|
(=> (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 4438-4448 |
|