==================================================
MassBalanceOfProcessIsCalculatedFromInputWithModel
==================================================
.. rubric:: Description


A process, its mass balance, and the input leading to that mass
balance are connected. Their connection is specified by relating it to
the used model.


.. rubric:: Definition


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


.. image:: MassBalanceOfProcessIsCalculatedFromInputWithModel.svg


::

    
    MassBalanceOfProcessIsCalculatedFromInputWithModel(x1, x2, x3, x4) <->
        MultidimensionalProperty(x1) &
        ClassOfActivity(x2) &
        MultidimensionalProperty(x3) &
        ClassOfFunctionalMapping(x4) &
        MMT:SpecializationOfClassOfIndividual(x2, x1) &
        exists u1 exists u2 exists u3 exists u4(
            ClassOfClassOfInformationRepresentation(u1) &
            ClassOfInformationRepresentation(u2) &
            FunctionalMapping(u2) &
            ClassOfMultidimensionalObject(u3) &
            ClassOfMultidimensionalObject(u4) &
            FunctionalMappingTriple(u2, x3, x1) &
            ClassOfFunctionalMappingTriple(x4, u4, u3) &
            MMT:RepresentationOfClassOfIndividual(x2, u2, u1) &
            MMT:ClassificationOfClassOfIndividual(x3, u3) &
            MMT:ClassificationOfClassOfIndividual(u2, x4) &
            MMT:ClassificationOfClassOfIndividual(x1, u4)) .
    

.. rubric:: Roles

1. hasMassBalance

2. hasProcess

3. hasInput

4. hasModel

.. 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 hasModel must have entity type ClassOfFunctionalMapping.

* 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.