=======================
ProjectIsOfProjectClass
=======================
.. rubric:: Description


An actual project (Act) is member of a project class (Coac).


.. rubric:: Definition


A project (x1) is member of a project class (x2).


.. image:: ProjectIsOfProjectClass.svg


::

    
    ProjectIsOfProjectClass(x1, x2) <-> 
        Activity(x1) & 
        ClassOfActivity(x2) & 
        MMT:ClassificationOfIndividual(x1, x2) .
    

.. rubric:: Roles

1. hasProject

2. hasProjectClass

.. rubric:: Restrictions

* Role filler of hasProject must have entity type Activity.

* Role filler of hasProjectClass must have entity type ClassOfActivity.

* One of:

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

  * Role filler of hasProject must be classified as Project.

* One of:

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

  * Role filler of hasProjectClass must be a specialization of Project.