===========================
StreamIsSpecifiedOnDocument
===========================
.. rubric:: Description


A stream is specified via a list of attributes or alike.
This specification is represented on a document. The document is not
necessarily a data sheet or something comparable. It can also be a simulation file.    


.. rubric:: Definition


A stream (x1) is referenced on a document (x2).


.. image:: StreamIsSpecifiedOnDocument.svg


::

    
    StreamIsSpecifiedOnDocument(x1, x2) <-> 
        edm:ClassOfStream(x1) & 
        ClassOfInformationObject(x2) & 
        exists u exists jord:Specification( 
            ClassOfInformationRepresentation(u) &
            ClassOfClassOfInformationRepresentation(jord:Specification) &
            MMT:RepresentationOfClassOfIndividualOnDocument(x1, x2, u, jord:Specification)) .
    

.. rubric:: Roles

1. hasStream

2. hasDocument

.. rubric:: Restrictions

* Role filler of hasStream must have entity type EdmClassOfStream.

* Role filler of hasDocument must have entity type ClassOfInformationObject.

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