=========================================
MassBalanceOfProcessIsCalculatedFromInput
=========================================
.. rubric:: Description


A process, its mass balance, and the input leading to that mass
balance are connected logically.


.. rubric:: Definition


A mass balance (x1) of a process (x2) is calculated from a given input (x3).


.. image:: MassBalanceOfProcessIsCalculatedFromInput.svg


::

    
    MassBalanceOfProcessIsCalculatedFromInput(x1, x2, x3) <->
        MultidimensionalProperty(x1) &
        ClassOfActivity(x2) &
        MultidimensionalProperty(x3) &
        MMT:SpecializationOfClassOfIndividual(x2, x1) &
        exists u1 exists u2(
            ClassOfClassOfInformationRepresentation(u1) &
            ClassOfInformationRepresentation(u2) &
            FunctionalMapping(u2) &
            MMT:RepresentationOfClassOfIndividual(x2, u2, u1) &
            FunctionalMappingTriple(u2, x3, x1)) .
    

.. rubric:: Roles

1. hasMassBalance

2. hasProcess

3. hasInput

.. rubric:: Restrictions

* Role filler of hasMassBalance must have entity type MultidimensionalProperty.

* Role filler of hasProcess must have entity type ClassOfActivity.

* Role filler of hasInput must have entity type MultidimensionalProperty.

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

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