ProjectIsOfProjectClass

Description

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

Definition

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

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

Roles

  1. hasProject
  2. hasProjectClass

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 ThisIsAProject 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 ThisIsAProjectClass pattern.
    • Role filler of hasProjectClass must be a specialization of Project.