Activity¶
Open interactive Activity diagram
Formalization for Activity¶
| Property | Constraint |
|---|---|
| causes | all State |
| hasEffect | all State |
| hasStatus | exactly 1 owl::Thing |
| hasSubactivity | all Activity |
| inverse enables | all State |
| inverse preconditionOf | all State |
| occursAt | some time::Interval |
| occursBefore | all Activity |
| occursDirectlyBefore | all Activity |
| spatialLoc::associatedLocation | all spatialLoc::Location |
| subClassOf | ActivityOntologyThing |
Used by classes¶
| Class | Property |
|---|---|
| Activity (Activity) | hasSubactivity |
| Activity (Activity) | occursBefore |
| Activity (Activity) | occursDirectlyBefore |
| State (Activity) | causedBy |
| State (Activity) | effectOf |
| State (Activity) | enables |
| State (Activity) | preconditionOf |