point_in_time - hqdmTop/hqdmFramework GitHub Wiki

Point in Time

An event that is the whole of space at an instant from some viewpoint.

Attributes

  • member_of: A member_of relationship type where a point_in_time may be a member_of one or more class_of_point_in_time.

EXPRESS Specification

Diagram 5

Schema

ENTITY point_in_time
  SUBTYPE OF(event);
    SELF\event.member_of : OPTIONAL SET [1:?] OF class_of_point_in_time;
END_ENTITY;
Inheritance Graph 

ENTITY point_in_time;
  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 event;
  ENTITY point_in_time;
    member_of              : OPTIONAL SET [1:?] OF class_of_point_in_time;
END_ENTITY;
⚠️ **GitHub.com Fallback** ⚠️