==================
ThisIsAProcurement
==================
.. rubric:: Description


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


.. rubric:: Definition


A procurement activity (x1) is marked as such.


::

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

.. rubric:: Roles

1. hasThis

.. rubric:: Restrictions

Role filler of hasThis must have entity type Activity.