=============
DocumentHasId
=============
.. rubric:: Description


An ID (hasID) is assigned to a document (hasDocument).
A company specific COMPANY ID ASSIGNMENT CLASS is assumed to exist.
This class is a specialization of the JORD’s RDL class IDENTIFIER.    


.. rubric:: Definition


A document (x1) has the ID (x2).


.. image:: DocumentHasId.svg


::

    
    DocumentHasId(x1, x2) <-> 
        ClassOfInformationObject(x1) & 
        ExpressString(x2) & 
        exists u exists jord:Identifier( 
            ClassOfClassOfIdentification(u) &
            ClassOfClassOfIdentification(jord:Identifier) &
            MMT:ClassifiedIdentificationOfClassOfIndividual(x1, x2, u) &
            P7:SpecializationTemplate(u, jord:Identifier)) .
    

.. rubric:: Roles

1. hasDocument

2. hasId

.. rubric:: Restrictions

* Role filler of hasDocument must have entity type ClassOfInformationObject.

* Role filler of hasId must have entity type EXPRESS_String.

* One of:

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

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