Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BrakeMasterCylinder
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BrakeMasterCylinder HydraulicCylinder) | Cars.kif 1503-1503 | Master cylinder is a subclass of hydraulic cylinder |
| (documentation BrakeMasterCylinder EnglishLanguage "This is the source of hydraulic pressure that actuates the BrakeCaliper, and is in turn actuated by the driver stepping on the BrakePedal.") | Cars.kif 1505-1507 | Master cylinder is a subclass of hydraulic cylinder |
| (typicalPart BrakeMasterCylinder BrakeSystem) | Cars.kif 1517-1517 | A master cylinder is typically a part of a brake system |
| (typicallyContainsPart BrakeMasterCylinder BrakeSystem) | Cars.kif 1518-1518 | A brake system typically has a part master cylinder |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakeMasterCylinder "master cylinder") | Cars.kif 1504-1504 |
| antecedent |
|
|
| (=> (instance ?BMC BrakeMasterCylinder) (hasPurpose ?BMC (exists (?BS) (and (instance ?BS BrakeSystem) (part ?BMC ?BS))))) |
Cars.kif 1509-1515 | If X is an instance of master cylinder, then X has the purpose there exists Y such that Y is an instance of brake system and X is a part of Y |
|