====================
ThisIsAUnitOperation
====================
.. rubric:: Description


A unit operation is declared. It can be specialized from
an according RDL entry as soon as it is avaible. No such entry exists in
the JORD-RDL.


.. rubric:: Definition


A unit operation (x1) is marked as such.


.. image:: ThisIsAUnitOperation.svg


::

    
    ThisIsAUnitOperation(x1) <->
        ClassOfActivity(x1) &
        exists OWN:UNIT_OPERATION( 
            ClassOfActivity(OWN:UNIT_OPERATION) &
            MMT:SpecializationOfClassOfIndividual(x1, OWN:UNIT_OPERATION)) .
    

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

Role filler of hasThis must have entity type ClassOfActivity.