| (subclass Valve EngineeringComponent) | engineering.kif 912-912 | |
| (subclass Valve FluidPowerDevice) | engineering.kif 913-913 | |
| (subclass SalineLock Valve) | Medicine.kif 1099-1099 | |
| (subclass DirectionalControlValve Valve) | engineering.kif 957-957 | |
| (subclass PressureControlValve Valve) | engineering.kif 966-966 | |
| (subclass VolumeControlValve Valve) | engineering.kif 976-976 | |
| (subclass BleederValve Valve) | Cars.kif 1546-1546 | |
| (subclass ExhaustValve Valve) | Cars.kif 2658-2658 | |
| (subclass IntakeValve Valve) | Cars.kif 2683-2683 | |
| (subclass ManifoldHeatControlValve Valve) | Cars.kif 3255-3255 | |
| (subclass PositiveCrankcaseVentilationValve Valve) | Cars.kif 3811-3811 |
|
|