ThisIsAUnitOperation

Description

A unit operation is declared. It can be specialized from an according RDL entry as soon as it is avaible. No such entry exists in the JORD-RDL.

Definition

A unit operation (x1) is marked as such.

../../_images/ThisIsAUnitOperation.svg
ThisIsAUnitOperation(x1) <->
    ClassOfActivity(x1) &
    exists OWN:UNIT_OPERATION(
        ClassOfActivity(OWN:UNIT_OPERATION) &
        MMT:SpecializationOfClassOfIndividual(x1, OWN:UNIT_OPERATION)) .

Roles

  1. hasThis

Restrictions

Role filler of hasThis must have entity type ClassOfActivity.