==========
FpoIsOnPid
==========
.. rubric:: Description


This modelling pattern allows to express that a ‘functional
physical object’ is referred to on a document that is a P&ID. No
information about the type of reference is made - it could be symbolic,
textual or both.

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 on a P&ID (x2).


.. image:: FpoIsOnPid.svg


::

    
    FpoIsOnPid(x1, x2) <->
        FunctionalPhysicalObject(x1) & 
        ClassOfInformationObject(x2) & 
        MMT:ReferenceToIndividualOnDocument(x1, x2) .
    

.. rubric:: Roles

1. hasFpo

2. hasOnPid

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasOnPid must have entity type ClassOfInformationObject.

* 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.