No TPTP formula. May not be expressible in strict first order. | engineering.kif 966-966 | PressureControlValve e' uma sub-classe de Valve |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 971-971 | ReliefValve e' uma sub-classe de PressureControlValve |