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 961-961 | Spool valve is a subclass of directional control valve |
![]() |