Skip to content

Activity

Activity Diagram

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