===============
ThisIsADocument
===============
.. rubric:: Description


A document is declared as such by specializing it from the
ClassOfInformationObject jord:Document from the JORD-RDL.


.. rubric:: Definition


A document (x1) is marked as such.


.. image:: ThisIsADocument.svg


::

    
    ThisIsADocument(x1) <->
        ClassOfInformationObject(x1) &
        exists jord:Document(
            ClassOfInformationObject(jord:Document) &
            MMT:SpecializationOfClassOfIndividual(x1, jord:Document)) .
    

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

Role filler of hasThis must have entity type ClassOfInformationObject.