Skip to content

kind_of_association

GCHQDeveloper42 edited this page Mar 27, 2023 · 3 revisions

Kind of Association

A class_of_association where all the members are of the same kind.

Attributes

  • consists_of_by_class : A consists_of_by_class relationship type where a member_of the kind_of_association has a member_of the role as a part.

EXPRESS Specification

Diagram 16

Schema

ENTITY kind_of_association
  SUBTYPE OF(class_of_association);
  INVERSE
    consists_of_by_class : SET [2:?] OF role FOR part_of_by_class_;
END_ENTITY;
Inheritance Graph

ENTITY kind_of_association;
  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_association;
  ENTITY class_of_association;
  ENTITY kind_of_association;
  INVERSE
    consists_of_by_class  : SET [2:?] OF role FOR part_of_by_class_;
END_ENTITY;
Clone this wiki locally