=================
ThisIsASimulation
=================
.. rubric:: Description


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


.. rubric:: Definition


A simulation activity (x1) is marked as such.


.. image:: ThisIsASimulation.svg


::

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

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

Role filler of hasThis must have entity type Activity.