=========================
DocumentIsOfDocumentClass
=========================
.. rubric:: Description


Information that a particular hasDocument belongs to a given
hasDocumentClass is recorded. This is done by using the template
SpecializationOfClassOfIndividual because documents are of a
class entity type themselves.


.. rubric:: Definition


A document (x1) is of a document class (x2).


.. image:: DocumentIsOfDocumentClass.svg


::

    
    DocumentIsOfDocumentClass(x1, x2) <->
        ClassOfInformationObject(x1) &
        ClassOfInformationObject(x2) &
        MMT:SpecializationOfClassOfIndividual(x1, x2) .
    

.. rubric:: Roles

1. hasDocument

2. hasDocumentClass

.. rubric:: Restrictions

* Role filler of hasDocument must have entity type ClassOfInformationObject.

* Role filler of hasDocumentClass 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.

* One of:

  * Role filler of hasDocumentClass must be classified as DocumentClass.

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