ThisIsAProject¶
Description
A project is declared by classifying it by the ClassOfActivity jord:Project from the JORD-RDL.
Definition
A project (x1) is marked as such.
ThisIsAProject(x1)<->
Activity(x1) &
exists jord:Project(
ClassOfActivity(jord:Project) &
MMT:ClassificationOfClassOfIndividual(x1, jord:Project)) .
Roles
- hasThis
Restrictions
Role filler of hasThis must have entity type Activity.