MassBalanceOfProcessIsCalculatedFromInput

Description

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

Definition

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

../../_images/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)) .

Roles

  1. hasMassBalance
  2. hasProcess
  3. hasInput

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 ThisIsAMassBalance pattern.
  • Role filler of hasProcess must be used as the role filler of hasThis with respect to the ThisIsAProcess pattern.