Skip to content

class_of_position

GCHQDeveloper42 edited this page Mar 27, 2023 · 5 revisions

Class of Position

A class_of_state_of_position that is also a class_of_organization_component that is position or any of its subsets.

Subtypes

EXPRESS Specification

Diagram 33

Schema

ENTITY class_of_position
  SUBTYPE OF(class_of_state_of_position, class_of_organization_component);
END_ENTITY;
Inheritance Graph

ENTITY class_of_position;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_system_component;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_state_of_socially_constructed_object;
  ENTITY class_of_state_of_organization_component;
  ENTITY class_of_state_of_position;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_system_component;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_state_of_socially_constructed_object;
  ENTITY class_of_state_of_organization_component;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_state_of_system_component;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY class_of_system_component;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_intentionally_constructed_object;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_state_of_socially_constructed_object;
  ENTITY class_of_socially_constructed_object;
  ENTITY class_of_organization_component;
  ENTITY class_of_position;
END_ENTITY;
Clone this wiki locally