A specialization of StuffType (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection <code><b>COL</b></code> is temporally stuff-like just in case every purely temporal part (see timeSlices) of an instance of <code><b>COL</b></code> is itself an instance of <code><b>COL</b></code>, unless it is a temporal part of a temporal granule of <code><b>COL</b></code> (see granuleOfTemporalStuff).
<p/>
More precisely, for a collection <code><b>COL</b></code> to be an instance of TemporalStuffType it is both a necessary and sufficient condition that for any <code><b>OBJ1</b></code> and <code><b>OBJ2</b></code> (with <code><b>OBJ2</b></code> at or above <code><b>COL</b></code>'s temporal granularity level), if <code>(isa <b>OBJ1</b> <b>COL</b>)</code> and <code>(timeSlices <b>OBJ1</b> <b>OBJ2</b>)</code>, then <code>(isa <b>OBJ2</b> <b>COL</b>)</code>.
<p/>
Consider WalkingOnTwoLegs. Take an arbitrary instance <code><b>WALK</b></code> of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice <code><b>SUBWALK</b></code> of <code><b>WALK</b></code> that subsumes at least one instance of (the granuleOfTemporalStuff for WalkingOnTwoLegs) TakingAStep (say her trip back from the end of the runway). <code><b>SUBWALK</b></code> is itself an instance of WalkingOnTwoLegs. So WalkingOnTwoLegs is an instance of TemporalStuffType. See TemporalObjectType for the disjoint notion of being temporally object-like.