(subclass HydraulicCylinder PhysicalSystem) | Cars.kif 1598-1598 | HydraulicCylinder est une sous-classe de PhysicalSystem |
(subclass BrakeMasterCylinder HydraulicCylinder) | Cars.kif 1617-1617 | BrakeMasterCylinder est une sous-classe de HydraulicCylinder |