===========================
ObjectSpecificationOfObject
===========================
.. rubric:: Description


The term 'object' in modelling patterns is used as term for instances
of entity type Coai.
A more specific information (object specification) of an
object is linked the respective object.


.. rubric:: Definition


A Coai (x1) is specialized from a more general Coai (x2).


.. image:: ObjectSpecificationOfObject.svg


::

    
    ObjectSpecificationOfObject(x1, x2) <->
        ClassOfArrangedIndividual(x1) &
        ClassOfArrangedIndividual(x2) &
        MMT:SpecializationOfClassOfIndividual(x1, x2) .
    

.. rubric:: Roles

1. hasObjectSpecification

2. hasObject

.. rubric:: Restrictions

* Role filler of hasObjectSpecification must have entity type ClassOfArrangedIndividual.

* Role filler of hasObject must have entity type ClassOfArrangedIndividual.

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

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