============================
FpoIsDepictedOnPidWithSymbol
============================
.. rubric:: Description


This modelling pattern allows to express that a ‘functional
physical object’ is referred to on a document that is a P&ID. Additionally,
information about the type of reference is made - it is a symbolic
representation. A link to the symbol in a company or software database is
required.

It is assumed that, while parsing the information about the FPO from a data
file, an entity for the underlying document can be found or is created in a
database that contains information about documents.


.. rubric:: Definition


An Fpo (x1) is depicted with a symbol (x3) on a P&ID (x2).


.. image:: FpoIsDepictedOnPidWithSymbol.svg


::

    
    FpoIsDepictedOnPidWithSymbol(x1, x2, x3) <-> 
        FunctionalPhysicalObject(x1) & 
        ClassOfInformationObject(x2) & 
        ClassOfInformationRepresentation(x3) & 
        exists jord:Symbol( 
            RepresentationForm(jord:Symbol) &
            MMT:RepresentationOfIndividualOnDocument(x1, x2, x3, jord:Symbol)) .
    

.. rubric:: Roles

1. hasFpo

2. hasOnPid

3. hasSymbol

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasOnPid must have entity type ClassOfInformationObject.

* Role filler of hasSymbol must have entity type ClassOfInformationRepresentation.

* One of:

  * Role filler of hasOnPid must be a specialization of Document.

  * Role filler of hasOnPid must be used as the role filler of hasThis with respect to the :doc:`../ThisIsADocument/index` pattern.

* One of:

  * Role filler of hasOnPid must be a specialization of PAndIDiagram.

  * Role filler of hasOnPid must be used as the role filler of hasDocument with respect to the :doc:`../DocumentIsOfDocumentClass/index` pattern.