=====================
StreamIsPartOfProcess
=====================
.. rubric:: Description


A class_of_stream object is part of a process (Coac).


.. rubric:: Definition


A stream (x1) is part of a process (x2).


.. image:: StreamIsPartOfProcess.svg


::

    
    StreamIsPartOfProcess(x1, x2) <-> 
        edm:ClassOfStream(x1) & 
        ClassOfActivity(x2) & 
        exists u1 exists u2( 
            Cardinality(u1) &
            Cardinality(u2) &
            MMT:ClassOfCompositionDefinition(x2, x1, u2, u1)) .
    

.. rubric:: Roles

1. hasStream

2. hasProcess

.. rubric:: Restrictions

* Role filler of hasStream must have entity type EdmClassOfStream.

* Role filler of hasProcess must have entity type ClassOfActivity.

* Role filler of hasStream must be used as the role filler of hasThis with respect to the :doc:`../ThisIsAStream/index` pattern.

* Role filler of hasProcess must be used as the role filler of hasThis with respect to the :doc:`../ThisIsAProcess/index` pattern.