Skip to content

sign

Jump to bottom
GCHQDeveloper42 edited this page Mar 25, 2024 · 5 revisions

Sign

A state_of_sign, that is also a socially_constructed_object, and a participant that represents some thing for some community in one or more representation_by_sign.

Attributes

  • member_of: A member_of relationship type where a sign may be a member_of one or more class_of_sign.
  • member_of_: A member_of relationship type where a sign is a member_of one or more pattern.
  • participant_in: A participant_in relationship type where a sign is a participant_in one or more representation_by_sign.

EXPRESS Specification

Diagram 45

Schema

ENTITY sign
  SUBTYPE OF(socially_constructed_object, state_of_sign, participant);
    SELF\socially_constructed_object.member_of : OPTIONAL SET [1:?] OF class_of_sign;
    member_of_                                 : SET [1:1] OF pattern;
    SELF\participant.participant_in            : SET [1:?] OF representation_by_sign;
END_ENTITY;
Inheritance Graph 

ENTITY 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_intentionally_constructed_object;
  ENTITY intentionally_constructed_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_intentionally_constructed_object;
  ENTITY state_of_socially_constructed_object;
  ENTITY socially_constructed_object;
    member_of_kind         : OPTIONAL SET [1:?] OF kind_of_socially_constructed_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_intentionally_constructed_object;
  ENTITY state_of_socially_constructed_object;
  ENTITY state_of_sign;
    temporal_part_of       : OPTIONAL SET [1:?] OF sign;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_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 state_of_physical_object;
    temporal_part_of       : OPTIONAL SET [1:?] OF physical_object;
  ENTITY participant;
    member_of              : OPTIONAL SET [1:?] OF class_of_participant;
    member_of_kind         : SET [1:?] OF role;
  ENTITY sign;
    member_of              : OPTIONAL SET [1:?] OF class_of_sign;
    member_of_             : SET [1:1] OF pattern;
    participant_in         : SET [1:?] OF representation_by_sign;
END_ENTITY;
Clone this wiki locally