state - hqdmTop/hqdmFramework GitHub Wiki

State

A spatio_temporal_extent that is an individual or a temporal_part_of some individual.

Attributes

  • temporal_part_of: A temporal_part_of relationship type where a state may be a temporal_part_of one or more individual.
    • Note: The relationship is optional because an individual is not necessarily a temporal_part_of another individual, yet is a member_of state as well as individual. This applies to all subtypes of temporal_part_of that are between a state_of_X and X.
  • member_of: A member_of relationship type where a state may be a member_of one or more class_of_state.

Subtypes

EXPRESS Specification

Diagram 6

Schema

ENTITY state
  SUBTYPE OF(spatio_temporal_extent);
    temporal_part_of                      : OPTIONAL SET [1:?] OF individual;
    SELF\spatio_temporal_extent.member_of : OPTIONAL SET [1:?] OF class_of_state;
END_ENTITY;
Inheritance Graph 

ENTITY state;
  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;
    temporal_part_of       : OPTIONAL SET [1:?] OF individual;
    member_of              : OPTIONAL SET [1:?] OF class_of_state;
END_ENTITY;
⚠️ **GitHub.com Fallback** ⚠️