ProjectHasId

Description

An ID (hasID) is assigned to a project (hasProject). A company specific COMPANY ID ASSIGNMENT CLASS is assumed to exist. This class is a specialization of the JORD’s RDL class IDENTIFIER.

Definition

A project (x1) has a specified ID (x2).

../../_images/ProjectHasId.svg
ProjectHasId(x1, x2) <->
    Activity(x1) &
    ExpressString(x2) &
    exists u exists Jord:Identifier(
        ClassOfClassOfIdentification(u) &
        ClassOfClassOfIdentification(jord:Identifier) &
        MMT:ClassifiedIdentificationOfIndividual(x1, x2, u) &
        P7:SpecializationTemplate(u, jord:Identifier)) .

Roles

  1. hasProject
  2. hasId

Restrictions

  • Role filler of hasProject must have entity type Activity.
  • Role filler of hasId must have entity type EXPRESS_String.