DepictionOfPipeIsConnectedToOffPageConnectorSymbolOnPid

Description

An off page connector symbol (OPC symbol) can be found on P&IDs and graphically depicts that the pipe that connects to the OPC symbol is the same pipe that is continued on another P&ID.

This is clearly no depiction of a ‘functional physical object’ of the ISO 15926. It is a representation.

This modelling pattern necessarily refers to •the off page connector symbol with the role hasOffPageConnectorSymbol •the pipe whose representation is connected to that symbol via the role hasPipe •the P&ID on which the off page connector symbol can be found via the role hasOnPid •the representation of the pipe on that PID for later reference via the role hasDepiction

If an actual ‘functional physical object’ pipe is depicted on multiple P&ID documents, it is classified as being depicted on multiple P&ID documents. The ‘functional physical object’ pipe is represented by a class of information representation (COIR) that necessarily has an OPC-symbol as a part. Also, a link to the referring document has to be given.

Definition

A pipe is depicted on a P&ID on which it connects to an off page connector.

../../_images/DepictionOfPipeIsConnectedToOffPageConnectorSymbolOnPid.svg
DepictionOfPipeIsConnectedToOffPageConnectorSymbolOnPid(x1, x2, x3, x4) <->
    ClassOfInformationRepresentation(x1) &
    FunctionalPhysicalObject(x2) &
    ClassOfInformationRepresentation(x3) &
    ClassOfInformationObject(x4) &
    exists u1 exists u2 exists u3 exists u4(
        ClassOfClassOfInformationRepresentation(u1) &
        ClassOfInanimatePhysicalObject(u2) &
        Cardinality(u3) &
        Cardinality(u4) &
        MMT:ClassificationOfIndividual(x1, u2) &
        MMT:ClassOfArrangementDefinition(x1, x3, u3, u4) &
        MMT:RepresentationOfIndividualOnDocument(x2, x4, x1, u1)) .

Roles

  1. hasDepiction
  2. hasPipe
  3. hasOffpageConnectorSymbol
  4. hasOnPid

Restrictions

  • Role filler of hasDepiction must have entity type ClassOfInformationRepresentation.
  • Role filler of hasPipe must have entity type FunctionalPhysicalObject.
  • Role filler of hasOffpageConnectorSymbol must have entity type ClassOfInformationRepresentation.
  • Role filler of hasOnPid must have entity type ClassOfInformationObject.
  • Role filler of hasPipe must be classified as PipesWithOpcs.