Skip to content

biological_system_component

Jump to bottom
GCHQDeveloper42 edited this page Mar 27, 2023 · 3 revisions

Biological System Component

A biological_object, state_of_biological_system_component and system_component that is any biological_object that is also a system_component.

Attributes

  • component_of: A component_of relationship type where a biological_system_component is a component_of exactly one biological_system.
  • member_of: A member_of relationship type where a biological_system_component may be a member_of one or more class_of_biological_system_component.

EXPRESS Specification

Diagram 24

Schema

ENTITY biological_system_component
  SUBTYPE OF(biological_object, state_of_biological_system_component, system_component);
    SELF\system_component.component_of : SET [1:1] OF biological_system;
    SELF\biological_object.member_of   : OPTIONAL SET [1:?] OF class_of_biological_system_component;
END_ENTITY;
Inheritance Graph 

ENTITY biological_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_physical_object;
  ENTITY state_of_biological_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 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 biological_object;
    member_of_kind         : OPTIONAL SET [1:?] OF kind_of_biological_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_biological_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_system_component;
    temporal_part_of       : OPTIONAL SET [1:?] OF system_component;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_system_component;
  ENTITY state_of_biological_system_component;
    temporal_part_of       : OPTIONAL SET [1:?] OF biological_system_component;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_biological_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 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_system_component;
    temporal_part_of       : OPTIONAL SET [1:?] OF system_component;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_system_component;
  ENTITY system_component;
    member_of              : OPTIONAL SET [1:?] OF class_of_system_component;
  ENTITY biological_system_component;
    component_of           : SET [1:1] OF biological_system;
    member_of              : OPTIONAL SET [1:?] OF class_of_biological_system_component;
END_ENTITY;
Clone this wiki locally