WearingFrictionSurface |
appearance as argument number 1 |
(documentation WearingFrictionSurface EnglishLanguage "A device designed to cause friction and exhibit a particular process of wear. This includes items such as brake pads and match striking surfaces on a matchbox.") | Cars.kif 584-586 | |
(subclass WearingFrictionSurface Device) | Cars.kif 582-582 | WearingFrictionSurface è una sottoclasse di Dispositivo |
appearance as argument number 2 |
(subclass BrakePad WearingFrictionSurface) | Cars.kif 658-658 | BrakePad è una sottoclasse di WearingFrictionSurface |
(subclass BrakeShoe WearingFrictionSurface) | Cars.kif 596-596 | BrakeShoe è una sottoclasse di WearingFrictionSurface |
(termFormat EnglishLanguage WearingFrictionSurface "wearing friction surface") | Cars.kif 583-583 |
antecedent |
(=> (instance ?S WearingFrictionSurface) (hasPurpose ?S (exists (?F) (and (instance ?F Friction) (resource ?F ?S))))) |
Cars.kif 588-594 |
|
consequent |