================================
CatalogItemFulfilsSpecifiedClass
================================
.. rubric:: Description


The property of the class of arranged individual (x1) that it represents a catalog item
is an implicit information of this template. The explicit declaration of this property
is not necessary but highly recommended.


.. rubric:: Definition


A catalog item (x1) fulfills the requirements of class (x2) defined elsewhere.


::

    
    CatalogItemFulfilsSpecifiedClass(x1, x2) <->
        ClassOfArrangedIndividual(x1) &
        ClassOfArrangedIndividual(x2) &
        exists u(
            ClassOfArrangedIndividual(u) &
            MMT:ClassOfTemporalPartOfClassOfIndividual(x1, u) &
            MMT:ClassOfTemporalPartOfClassOfIndividual(x2, u)) .
    

.. rubric:: Roles

1. hasCatalogItem

2. hasSpecifiedClass

.. rubric:: Restrictions

* Role filler of hasCatalogItem must have entity type ClassOfArrangedIndividual.

* Role filler of hasSpecifiedClass must have entity type ClassOfArrangedIndividual.