(subclass FluidPowerDevice EngineeringComponent) | engineering.kif 737-737 | |
(subclass FluidCylinder FluidPowerDevice) | engineering.kif 907-907 | |
(subclass Valve FluidPowerDevice) | engineering.kif 913-913 | |
(subclass Faucet FluidPowerDevice) | engineering.kif 932-932 |