BrakeRotor |
appearance as argument number 1 |
(documentation BrakeRotor EnglishLanguage "A rotating Metal disc that is pressed upon by a BrakePad to cause vehicle braking.") | Cars.kif 661-662 | |
(subclass BrakeRotor Device) | Cars.kif 660-660 | |
(typicalPart BrakeRotor DiscBrake) | Cars.kif 663-663 | |
(typicallyContainsPart BrakeRotor DiscBrake) | Cars.kif 664-664 |
appearance as argument number 2 |
(termFormat EnglishLanguage BrakeRotor "brake rotor") | domainEnglishFormat.kif 64567-64567 |
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 |
consequent |
(=> (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 |