Skip to content

activity

hqdmTop edited this page Feb 1, 2024 · 6 revisions

Activity

An individual that consists of its participants and causes some event.

Attributes

  • references: A relationship type where an activity may reference one or more thing.
  • determines: A relationship type where an activity may determine one or more thing to be the case.
  • causes: A relationship type where each activity is the cause of one or more event.
  • member_of: A member_of relationship type where an activity may be a member_of one or more class_of_activity.
  • part_of: A part_of relationship type where one activity may be a part_of one or more others.
  • member_of_kind: A member_of_kind relationship type where each activity is a member_of one or more kind_of_activity.
  • consists_of: A consists_of relationship type where an activity may consists_of one or more other activity.
  • consists_of_participant: A consists_of relationship type where an activity consists_of one or more participants.

Subtypes

EXPRESS Specification

Diagram 14

Schema

ENTITY activity
  SUBTYPE OF (individual, state_of_activity);
    references                     : OPTIONAL SET [1:?] OF thing;
    determines                     : OPTIONAL SET [1:?] OF thing;
    causes                         : SET [1:?] OF event;
    SELF\individual.member_of      : OPTIONAL SET [1:?] OF class_of_activity;
    part_of                        : OPTIONAL SET [1:?] OF activity;
    SELF\individual.member_of_kind : SET [1:?] OF kind_of_activity;
  INVERSE
    consists_of                    : SET OF activity FOR part_of;
    consists_of_participant        : SET [1:?] OF participant FOR participant_in;
END_ENTITY;
Inheritance Graph

ENTITY activity;
  ENTITY thing;
    member__of              : OPTIONAL SET [1:?] OF class;
  ENTITY spatio_temporal_extent;
    part__of                : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    beginning               : OPTIONAL event;
    ending                  : OPTIONAL event;
    part_of_possible_world  : SET [1:?] OF possible_world;
    temporal__part_of       : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    aggregated_into         : OPTIONAL SET [1:?] OF spatio_temporal_extent;
  INVERSE
    consists__of            : SET OF spatio_temporal_extent FOR part__of;
  ENTITY state;
  ENTITY individual;
  ENTITY thing;
    member__of              : OPTIONAL SET [1:?] OF class;
  ENTITY spatio_temporal_extent;
    part__of                : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    beginning               : OPTIONAL event;
    ending                  : OPTIONAL event;
    part_of_possible_world  : SET [1:?] OF possible_world;
    temporal__part_of       : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    aggregated_into         : OPTIONAL SET [1:?] OF spatio_temporal_extent;
  INVERSE
    consists__of            : SET OF spatio_temporal_extent FOR part__of;
  ENTITY state;
  ENTITY state_of_activity;
    temporal_part_of        : OPTIONAL SET [1:?] OF activity;
    member_of               : OPTIONAL SET [1:?] OF class_of_state_of_activity;
  ENTITY activity;
    references              : OPTIONAL SET [1:?] OF thing;
    determines              : OPTIONAL SET [1:?] OF thing;
    causes                  : SET [1:?] OF event;
    member_of               : OPTIONAL SET [1:?] OF class_of_activity;
    part_of                 : OPTIONAL SET [1:?] OF activity;
    member_of_kind          : SET [1:?] OF kind_of_activity;
  INVERSE
    consists_of             : SET OF activity FOR part_of;
    consists_of_participant : SET [1:?] OF participant FOR participant_in;
END_ENTITY;
Clone this wiki locally