A specialization of StuffType (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection COL is temporally stuff-like just in case every purely temporal part (see timeSlices) of an instance of COL is itself an instance of COL, unless it is a temporal part of a temporal granule of COL (see granuleOfTemporalStuff).

More precisely, for a collection COL to be an instance of TemporalStuffType it is both a necessary and sufficient condition that for any OBJ1 and OBJ2 (with OBJ2 at or above COL's temporal granularity level), if (isa OBJ1 COL) and (timeSlices OBJ1 OBJ2), then (isa OBJ2 COL).

Consider WalkingOnTwoLegs. Take an arbitrary instance WALK of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice SUBWALK of WALK that subsumes at least one instance of (the granuleOfTemporalStuff for WalkingOnTwoLegs) TakingAStep (say her trip back from the end of the runway). SUBWALK is itself an instance of WalkingOnTwoLegs. So WalkingOnTwoLegs is an instance of TemporalStuffType. See TemporalObjectType for the disjoint notion of being temporally object-like.