==========================
AssetFulfilsSpecifiedClass
==========================
.. rubric:: Description


A materialized physical object that is an asset can be classified as a
member of a specific class.


.. rubric:: Definition


The asset (x1) is classified by a class of arranged individual that
itself is part of the specified class (x2).


::

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

.. rubric:: Roles

1. hasAsset

2. hasSpecifiedClass

.. rubric:: Restrictions

* Role filler of hasAsset must have entity type MaterializedPhysicalObject.

* Role filler of hasSpecifiedClass must have entity type ClassOfArrangedIndividual.