Subprocess Transitivity http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml Fri Jun 06 20:07:53 PDT 2003 Sat Jun 07 16:40:15 PDT 2003 Using SUMO subprocess definition, this rule says that if a process A is a subprocess of B and B is a subprocess of C then A is a subprocess of C.