Skip to content

representation_by_sign

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

Representation by Sign

An association of a sign and a recognizing_language_community that recognizes the sign as representing some thing.

Attributes

  • represents: A relationship type where a representation_by_sign represents one or more thing.
  • member_of: A member_of relationship type where the representation_by_sign may be a member_of one or more class_of_representation.
  • member_of_: A member_of relationship type where the representation_by_sign must be a member_of exactly one representation_by_pattern.
  • consists_of_: A consists_of relationship type where a representation_by_sign consists of one or more recognizing_language_community.
  • consists_of: A consists_of relationship type where one or more sign is used in the representation_by_sign.

EXPRESS Specification

Diagram 45

Schema

ENTITY representation_by_sign
  SUBTYPE OF(association);
    represents                 : SET [1:?] OF thing;
    SELF\association.member_of : OPTIONAL SET [1:?] OF class_of_representation;
    member_of_                 : SET [1:1] OF representation_by_pattern;
  INVERSE
    consists_of_               : SET [1:?] OF recognizing_language_community FOR participant_in;
    consists_of                : SET [1:?] OF sign FOR participant_in;
END_ENTITY;
Inheritance Graph 

ENTITY representation_by_sign;
  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_association;
    temporal_part_of        : OPTIONAL SET [1:?] OF association;
    member_of               : OPTIONAL SET [1:?] OF class_of_state_of_association;
  ENTITY association;
    member_of_kind          : SET [1:?] OF kind_of_association;
  INVERSE
    consists_of_participant : SET [1:?] OF participant FOR participant_in;
  ENTITY representation_by_sign;
    represents              : SET [1:?] OF thing;
    member_of               : OPTIONAL SET [1:?] OF class_of_representation;
    member_of_              : SET [1:1] OF representation_by_pattern;
  INVERSE
    consists_of_            : SET [1:?] OF recognizing_language_community FOR participant_in;
    consists_of             : SET [1:?] OF sign FOR participant_in;
END_ENTITY;
Clone this wiki locally