Transitive over

From GO Public

Jump to: navigation, search

R1 transitive_over R2, X R1 Y, Y R1 Z => X R1 Z

See Regulates

Personal tools