| No TPTP formula. May not be expressible in strict first order. | engineering.kif 912-912 | Valve is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 913-913 | Valve is a subclass of fluid power device |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1099-1099 | Saline lock is a subclass of valve |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 957-957 | Directional control valve is a subclass of valve |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 966-966 | Pressure control valve is a subclass of valve |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 976-976 | Volume control valve is a subclass of valve |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1546-1546 | Bleeder valve is a subclass of valve |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2658-2658 | Exhaust valve is a subclass of valve |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2683-2683 | Intake valve is a subclass of valve |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3255-3255 | Manifold heat control valve is a subclass of valve |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3811-3811 | Positive crankcase ventilation valve is a subclass of valve |
|
|