ThisIsAnActivity

Description

An activity (ACT) is declared.

Definition

An activity (x1) is marked as such.

ThisIsAnActivity(x1) <->
    Activity(x1) .

Roles

  1. hasThis

Restrictions

Role filler of hasThis must have entity type Activity.