=======================
ProcessHasUtilityResult
=======================
.. rubric:: Description


A process is connected to a utility result.


.. rubric:: Definition


A process (x1) has a utility result (x2).


.. image:: ProcessHasUtilityResult.svg


::

    
    ProcessHasUtilityResult(x1, x2) <->
        ClassOfActivity(x1) &
        MultidimensionalProperty(x2) &
        MMT:SpecializationOfClassOfIndividual(x1, x2) .
    

.. rubric:: Roles

1. hasProcess

2. hasUtilityResult

.. rubric:: Restrictions

* Role filler of hasProcess must have entity type ClassOfActivity.

* Role filler of hasUtilityResult must have entity type MultidimensionalProperty.

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

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