MassBalanceOfProcessIsCalculatedFromInputWithModel

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.

Definition

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

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

Roles

  1. hasMassBalance
  2. hasProcess
  3. hasInput
  4. hasModel

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