| 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 是 设备 的 subclass |
| (typicalPart BrakeCaliper BrakeSystem) | Cars.kif 1559-1559 | BrakeCaliper typically 是 BrakeSystem 的 part |
| (typicalPart BrakeCaliper VehicleBrake) | Cars.kif 675-675 | BrakeCaliper typically 是 车辆制动器 的 part |
| (typicallyContainsPart BrakeCaliper BrakeSystem) | Cars.kif 1560-1560 | BrakeSystem typically 有 part BrakeCaliper |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakeCaliper "brake caliper") | domainEnglishFormat.kif 64574-64574 |
| antecedent |
|
|
| (=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?B) (and (instance ?B Braking) (instrument ?B ?BC))))) |
Cars.kif 1572-1578 | |
| (=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?P ?W) (and (instance ?P Pushing) (instrument ?P ?BC) (patient ?P ?W) (instance ?W WearingFrictionSurface))))) |
Cars.kif 1562-1570 |
|
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