==========================
ProcessIsDefinedOnDocument
==========================
.. rubric:: Description


The document that contains a definition for a document class
is related to the document class.


.. rubric:: Definition


A process (x1) is defined on a document (x2).


.. image:: ProcessIsDefinedOnDocument.svg


::

    
    ProcessIsDefinedOnDocument(x1, x2) <->
        ClassOfActivity(x1) &
        ClassOfInformationObject(x2) &
        exists u(
            DocumentDefinition(u) &
            MMT:DefinitionOfClassOfIndividualOnReferredDocument(x1, x2, u)) .
    

.. rubric:: Roles

1. hasProcess

2. hasDocument

.. rubric:: Restrictions

* Role filler of hasProcess must have entity type ClassOfActivity.

* Role filler of hasDocument must have entity type ClassOfInformationObject.

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

* One of:

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

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