ThisIsAProcess

Description

A process is declared by specializing it from the ClassOfActivity jord:Process from the JORD-RDL.

Definition

A process (x1) is marked as such.

../../_images/ThisIsAProcess.svg
ThisIsAProcess(x1) <->
    ClassOfActivity(x1) &
    exists jord:Process(
        ClassOfActivity(jord:Process) &
        MMT:SpecializationOfClassOfIndividual(x1, jord:Process)) .

Roles

  1. hasThis

Restrictions

Role filler of hasThis must have entity type ClassOfActivity.