-
Notifications
You must be signed in to change notification settings - Fork 1
party
GCHQDeveloper42 edited this page Mar 27, 2023
·
5 revisions
A
state_of_party
that is also asystem
that is aperson
or anorganization
.
-
member_of
: Amember_of
relationship type where aparty
may be amember_of
one or moreclass_of_party
. -
member_of_kind
: Amember_of_kind
relationship type where eachparty
may be amember_of
one or morekind_of_party
.
ENTITY party
ABSTRACT
SUBTYPE OF(state_of_party, system);
SELF\state_of_party.member_of : OPTIONAL SET [1:?] OF class_of_party;
SELF\system.member_of_kind : OPTIONAL SET [1:?] OF kind_of_party;
END_ENTITY;
Inheritance Graph
ENTITY party;
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_physical_object;
ENTITY state_of_ordinary_physical_object;
ENTITY state_of_system;
ENTITY state_of_party;
temporal_part_of : OPTIONAL SET [1:?] OF party;
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_physical_object;
ENTITY state_of_ordinary_physical_object;
ENTITY state_of_system;
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_physical_object;
ENTITY physical_object;
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_physical_object;
ENTITY state_of_ordinary_physical_object;
ENTITY ordinary_physical_object;
member_of : OPTIONAL SET [1:?] OF class_of_ordinary_physical_object;
ENTITY system;
member_of : OPTIONAL SET [1:?] OF class_of_system;
ENTITY party;
member_of : OPTIONAL SET [1:?] OF class_of_party;
member_of_kind : OPTIONAL SET [1:?] OF kind_of_party;
END_ENTITY;