ThisIsASimulation

Description

A simulation activity is declared by classifying it with the ClassOfActivity jord:Simulating from the JORD-RDL.

Definition

A simulation activity (x1) is marked as such.

../../_images/ThisIsASimulation.svg
ThisIsASimulation(x1) <->
    Activity(x1) &
    exists jord:Simulating(
        ClassOfActivity(jord:Simulating) &
        MMT:ClassificationOfIndividual(x1, jord:Simulating)) .

Roles

  1. hasThis

Restrictions

Role filler of hasThis must have entity type Activity.