StreamIsPartOfProcess

Description

A class_of_stream object is part of a process (Coac).

Definition

A stream (x1) is part of a process (x2).

../../_images/StreamIsPartOfProcess.svg
StreamIsPartOfProcess(x1, x2) <->
    edm:ClassOfStream(x1) &
    ClassOfActivity(x2) &
    exists u1 exists u2(
        Cardinality(u1) &
        Cardinality(u2) &
        MMT:ClassOfCompositionDefinition(x2, x1, u2, u1)) .

Roles

  1. hasStream
  2. hasProcess

Restrictions

  • Role filler of hasStream must have entity type EdmClassOfStream.
  • Role filler of hasProcess must have entity type ClassOfActivity.
  • Role filler of hasStream must be used as the role filler of hasThis with respect to the ThisIsAStream pattern.
  • Role filler of hasProcess must be used as the role filler of hasThis with respect to the ThisIsAProcess pattern.