| 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 | Brake caliper is a subclass of device |
| (typicalPart BrakeCaliper BrakeSystem) | Cars.kif 1564-1564 | A brake caliper is typically a part of a brake system |
| (typicalPart BrakeCaliper VehicleBrake) | Cars.kif 675-675 | A brake caliper is typically a part of a vehicle brake |
| (typicallyContainsPart BrakeCaliper BrakeSystem) | Cars.kif 1565-1565 | A brake system typically has a part brake caliper |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakeCaliper "brake caliper") | domainEnglishFormat.kif 64587-64587 |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners