BrakePad |
appearance as argument number 1 |
(documentation BrakePad EnglishLanguage "A WearingFrictionSurface that presses against a BrakeRotor to cause vehicle braking.") | Cars.kif 656-657 | |
(subclass BrakePad WearingFrictionSurface) | Cars.kif 658-658 | 子類 BrakePad and WearingFrictionSurface |
(typicalPart BrakePad DiscBrake) | Cars.kif 655-655 | BrakePad typically 是 DiscBrake 的 part |
appearance as argument number 2 |
(termFormat EnglishLanguage BrakePad "brake pad") | domainEnglishFormat.kif 64566-64566 |
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 | |
(=> (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 |