=========================
SubProcessIsPartOfProcess
=========================
.. rubric:: Description


A process (Coac) is at least composed of the subprocess (Coac).


.. rubric:: Definition


A process (x2) has a subprocess (x1) as a part.


.. image:: SubProcessIsPartOfProcess.svg


::

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

.. rubric:: Roles

1. hasSubProcess

2. hasProcess

.. rubric:: Restrictions

* Role filler of hasSubProcess must have entity type ClassOfActivity.

* Role filler of hasProcess must have entity type ClassOfActivity.

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

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