==============
ThisIsAProcess
==============
.. rubric:: Description


A process is declared by specializing it from the 
ClassOfActivity jord:Process from the JORD-RDL.


.. rubric:: Definition


A process (x1) is marked as such.


.. image:: ThisIsAProcess.svg


::

    
    ThisIsAProcess(x1) <-> 
        ClassOfActivity(x1) &
        exists jord:Process( 
            ClassOfActivity(jord:Process) &
            MMT:SpecializationOfClassOfIndividual(x1, jord:Process)) .
    

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

Role filler of hasThis must have entity type ClassOfActivity.