-
Notifications
You must be signed in to change notification settings - Fork 1
activity
hqdmTop edited this page Feb 1, 2024
·
6 revisions
An
individual
that consists of its participants and causes someevent
.
-
references
: A relationship type where anactivity
may reference one or morething
. -
determines
: A relationship type where anactivity
may determine one or morething
to be the case. -
causes
: A relationship type where eachactivity
is the cause of one or moreevent
. -
member_of
: Amember_of
relationship type where anactivity
may be amember_of
one or moreclass_of_activity
. -
part_of
: Apart_of
relationship type where oneactivity
may be apart_of
one or more others. -
member_of_kind
: Amember_of_kind
relationship type where eachactivity
is amember_of
one or morekind_of_activity
. -
consists_of
: Aconsists_of
relationship type where anactivity
mayconsists_of
one or more otheractivity
. -
consists_of_participant
: Aconsists_of
relationship type where anactivity
consists_of
one or moreparticipant
s.
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;