====================
ThisIsADocumentClass
====================
.. rubric:: Description


A document class is declared by classifying it by the 
ClassOfClassOfIndividual jord:DocumentClass from the JORD-RDL.


.. rubric:: Definition


A document class (x1) is marked as such.


.. image:: ThisIsADocumentClass.svg


::

    
    ThisIsADocumentClass(x1)<-> 
        ClassOfInformationObject(x1) & 
        exists jord:DocumentClass( 
            ClassOfClassOfIndividual(jord:DocumentClass) &
            MMT:ClassificationOfClassOfIndividual(x1, jord:DocumentClass)) .
    

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

Role filler of hasThis must have entity type ClassOfInformationObject.