=============================
AssetIsCatalogItemFromCatalog
=============================
.. rubric:: Description


Asset (x1) is classified by the class of arranged individual (x2). This
class is represented in a catalog. The representation is modelled with
the according template class of the MMT-group, as is the specialization
of the own catalog from the jord item. The own catalog (x3) is made
explicit in the signature of the modelling pattern.


.. rubric:: Definition


The asset (x1) is classified by a class of arranged individual (x2) that
is represented in a catalog (x3).


.. image:: AssetIsCatalogItemFromCatalog.svg


::

    
    AssetIsCatalogItemFromCatalog(x1, x2, x3) <->
        MaterializedPhysicalObject(x1) &
        ClassOfArrangedIndividual(x2) &
        ClassOfInformationObject(x3) &
        MMT:ClassificationOfIndividual(x1, x2) &
        exists u1 exists u2 exists u3 exists jord:Catalogue(
            ClassOfInformationRepresentation(u1) &
            ClassOfClassOfInformationRepresentation(u2) &
            ClassOfInformationObject(jord:Catalogue) &
            MMT:RepresentationOfClassOfIndividualOnDocument(x2, x3, u1, u2) &
            MMT:SpecializationOfClassOfIndividual(x3, jord:Catalogue)) .
    

.. rubric:: Roles

1. hasAsset

2. hasCatalogItem

3. hasCatalog

.. rubric:: Restrictions

* Role filler of hasAsset must have entity type MaterializedPhysicalObject.

* Role filler of hasCatalogItem must have entity type ClassOfArrangedIndividual.

* Role filler of hasCatalog must have entity type ClassOfInformationObject.