![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation HydraulicCylinder EnglishLanguage "A Device consisting of a HoleRegion that is the cylinder, and a Piston. Oil is forces into one part of the cylinder, moving the piston in the opposite direction, imparting force to a shaft that is part of the piston. Note that a cylinder without a piston, or a piston without a cylinder, is not considered a hydraulic cylinder. Both parts are essential to its identity.") | Cars.kif 1600-1604 | |
(subclass HydraulicCylinder PhysicalSystem) | Cars.kif 1598-1598 | Hydraulic cylinder is a subclass of physical system |
appearance as argument number 2 |
![]() |
(subclass BrakeMasterCylinder HydraulicCylinder) | Cars.kif 1617-1617 | Master cylinder is a subclass of hydraulic cylinder |
(termFormat EnglishLanguage HydraulicCylinder "hydraulic cylinder") | Cars.kif 1599-1599 |
antecedent |
![]() |
(=> (instance ?HC HydraulicCylinder) (exists (?HH ?C ?P) (and (instance ?C HoleRegion) (equal ?HH (HoleHostFn ?C)) (attribute ?C Cylinder) (instance ?P Piston) (part ?P ?HC) (part ?HH ?HC)))) |
Cars.kif 1606-1615 |
|
![]() |
![]() |