TreeView Knowledge Base Browser

appearance as argument number 1

(subclass HydraulicCylinder PhysicalSystem)	Cars.kif 1483-1483	Hydraulic cylinder is a subclass of physical system
(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 1485-1489	Hydraulic cylinder is a subclass of physical system

appearance as argument number 2

(termFormat EnglishLanguage HydraulicCylinder "hydraulic cylinder")	Cars.kif 1484-1484
(subclass BrakeMasterCylinder HydraulicCylinder)	Cars.kif 1503-1503	Master cylinder is a subclass of hydraulic cylinder

antecedent

(=>
    (instance ?HC HydraulicCylinder)
    (exists (?HH ?C ?P)
        (and
            (instance ?C HoleRegion)
            (equal ?HH
                (HoleHostFn ?C))
            (shape ?C Cylinder)
            (instance ?P Piston)
            (part ?P ?HC)
            (part ?HH ?HC))))

If X is an instance of hydraulic cylinder, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of hole (3) equal Y (4) the host of the hole Z (5) Z is cylinder (6) W is an instance of piston (7) W is a part of X (8) Y is a part of X