Assertion list
check valve (subgroup of valve ) → IsA
Results from Ascent++: 4
check valve → IsA → two-port valves 0.47
check valve → IsA → valve 0.43
check valve → IsA → mechanical device 0.38
check valve → IsA → a one way valve 0.25