(subclass HydraulicCylinder PhysicalSystem) | Cars.kif 1603-1603 | HydraulicCylinder ist eine teilkategorie von PhysicalSystem |
(subclass BrakeMasterCylinder HydraulicCylinder) | Cars.kif 1623-1623 | BrakeMasterCylinder ist eine teilkategorie von HydraulicCylinder |