| 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 1565-1565 | |
| (typicalPart BrakeCaliper VehicleBrake) | Cars.kif 675-675 | |
| (typicallyContainsPart BrakeCaliper BrakeSystem) | Cars.kif 1566-1566 |
| 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 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 |
|
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