Skip to content

state_of_position

GCHQDeveloper42 edited this page Mar 27, 2023 · 5 revisions

State of Position

A state_of_organization_component that is a position or a temporal_part_of a position.

Attributes

  • temporal_part_of: A temporal_part_of relationship type where a state_of_position may be a temporal_part_of one or more position.
  • member_of: A member_of relationship type where a state_of_position may be a member_of one or more class_of_state_of_position.

Subtypes

EXPRESS Specification

Diagram 33

Schema

ENTITY state_of_position
  SUBTYPE OF(state_of_organization_component);
    SELF\state_of_organization_component.temporal_part_of : OPTIONAL SET [1:?] OF position;
    SELF\state_of_organization_component.member_of        : OPTIONAL SET [1:?] OF class_of_state_of_position;
END_ENTITY;
Inheritance Graph

ENTITY state_of_position;
  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_system_component;
  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_intentionally_constructed_object;
  ENTITY state_of_socially_constructed_object;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_socially_constructed_object;
    temporal_part_of       : OPTIONAL SET [1:?] OF socially_constructed_object;
  ENTITY state_of_organization_component;
  ENTITY state_of_position;
    temporal_part_of       : OPTIONAL SET [1:?] OF position;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_position;
END_ENTITY;
Clone this wiki locally