|
|
   BrakeCaliper
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BrakeCaliper EnglishLanguage "A Device assembly that presses a BrakePad against a BrakeRotor.") | Cars.kif 673-674 | |
| (subclass BrakeCaliper Device) | Cars.kif 672-672 | |
| (typicalPart BrakeCaliper BrakeSystem) | Cars.kif 1564-1564 | |
| (typicalPart BrakeCaliper VehicleBrake) | Cars.kif 675-675 | |
| (typicallyContainsPart BrakeCaliper BrakeSystem) | Cars.kif 1565-1565 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakeCaliper "brake caliper") | domainEnglishFormat.kif 64564-64564 |
| antecedent |
|
|
| (=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?B) (and (instance ?B Braking) (instrument ?B ?BC))))) |
Cars.kif 1577-1583 | |
| (=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?P ?W) (and (instance ?P Pushing) (instrument ?P ?BC) (patient ?P ?W) (instance ?W WearingFrictionSurface))))) |
Cars.kif 1567-1575 |
|
|
|