==================
AssetIsCatalogItem
==================
.. 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.


.. rubric:: Definition


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


.. image:: AssetIsCatalogItem.svg


::

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

.. rubric:: Roles

1. hasAsset

2. hasCatalogItem

.. rubric:: Restrictions

* Role filler of hasAsset must have entity type MaterializedPhysicalObject.

* Role filler of hasCatalogItem must have entity type ClassOfArrangedIndividual.