The (reified) class of processes which are part of another process.
(<=> (*Phase ?Self) (And (Process ?Self) (Exists (?A) (And (Temporal-Part-Of ?Self ?A) (Process ?A)))))