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 971-971 | Relief valve is a subclass of pressure control valve |