| BrakeRotor(brake rotor) | | brake_disk |
| 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 | Brake rotor is a subclass of device |
| (typicalPart BrakeRotor DiscBrake) | Cars.kif 663-663 | A brake rotor is typically a part of a disc brake |
| (typicallyContainsPart BrakeRotor DiscBrake) | Cars.kif 664-664 | A disc brake typically has a part brake rotor |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakeRotor "brake rotor") | domainEnglishFormat.kif 64590-64590 |
| 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 |
|
|
|
|