|
|
   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 | BrakeCaliper ist eine teilkategorie von Geraet |
| (typicalPart BrakeCaliper BrakeSystem) | Cars.kif 1565-1565 | typicalPart BrakeCaliper and BrakeSystem |
| (typicalPart BrakeCaliper VehicleBrake) | Cars.kif 675-675 | typicalPart BrakeCaliper and VehicleBrake |
| (typicallyContainsPart BrakeCaliper BrakeSystem) | Cars.kif 1566-1566 | typicallyContainsPart BrakeCaliper and BrakeSystem |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakeCaliper "brake caliper") | domainEnglishFormat.kif 64556-64556 |
| antecedent |
|
|
| (=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?B) (and (instance ?B Braking) (instrument ?B ?BC))))) |
Cars.kif 1578-1584 |
|
| (=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?P ?W) (and (instance ?P Pushing) (instrument ?P ?BC) (patient ?P ?W) (instance ?W WearingFrictionSurface))))) |
Cars.kif 1568-1576 |
|
|
|
|