Transitive over

From GO Wiki
Revision as of 03:16, 19 May 2008 by Cjm (talk | contribs) (New page: R1 transitive_over R2, X R1 Y, Y R1 Z => X R1 Z See Regulates Category: Relations Category: Reasoning)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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

See Regulates