ThisIsAProcurement

Description

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

Definition

A procurement activity (x1) is marked as such.

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

Roles

1. hasThis

Restrictions

Role filler of hasThis must have entity type Activity.