system

System

An ordinary_physical_object that is an organized or connected group of physical_object.

Attributes

• member_of: A member_of relationship type where a system may be a member_of one or more class_of_system.
• member_of_kind: A member_of_kind relationship type where a system may be a member_of one or more kind_of_system.

Subtypes

• biological_system
• functional_system
• party

EXPRESS Specification

Schema

ENTITY system
  SUBTYPE OF(state_of_system, ordinary_physical_object);
    SELF\state_of_system.member_of               : OPTIONAL SET [1:?] OF class_of_system;
    SELF\ordinary_physical_object.member_of_kind : OPTIONAL SET [1:?] OF kind_of_system;
END_ENTITY;

Inheritance Graph

ENTITY 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 state_of_physical_object;
  ENTITY state_of_ordinary_physical_object;
  ENTITY state_of_system;
    temporal_part_of       : OPTIONAL SET [1:?] 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;
    member_of_kind         : OPTIONAL SET [1:?] OF kind_of_system;
END_ENTITY;