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 è una sottoclasse di 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 |