======================================
FpoIsRepresentedIn3dDocumentWithObject
======================================
.. rubric:: Description


This modelling pattern allows to express that a ‘functional physical
object’ is referred to on a document that is a 3d-document.
Additionally, information about the type of reference is made. A link
to the object 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 represented on a 3D-document (x2) with an object (x3).


::

    
    FpoIsRepresentedIn3dDocumentWithObject(x1, x2, x3) <-> 
        FunctionalPhysicalObject(x1) & 
        ClassOfInformationObject(x2) & 
        ClassOfInformationRepresentation(x3) & 
        exists OWN:3D_DRAWING( 
            RepresentationForm(OWN:DOCUMENT_OBJECT) &
            MMT:RepresentationOfIndividualOnDocument(x1, x2, x3, OWN:DOCUMENT_OBJECT)) .
    

.. rubric:: Roles

1. hasFpo

2. hasIn3dDocument

3. hasObject

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasIn3dDocument must have entity type ClassOfInformationObject.

* Role filler of hasObject must have entity type ClassOfInformationRepresentation.

* One of:

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

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

* One of:

  * Role filler of hasIn3dDocument must be a specialization of A3dDrawing.

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