state_of_ordinary_physical_object - hqdmTop/hqdmFramework GitHub Wiki

State of Ordinary Physical Object

A state_of_physical_object that is an ordinary_physical_object or a temporal_part_of one.

Attributes

Subtypes

EXPRESS Specification

Diagram 8

Schema

ENTITY state_of_ordinary_physical_object
  SUBTYPE OF(state_of_physical_object);
    SELF\state_of_physical_object.temporal_part_of : OPTIONAL SET [1:?] OF ordinary_physical_object;
    SELF\state_of_physical_object.member_of        : OPTIONAL SET [1:?] OF class_of_state_of_ordinary_physical_object;
END_ENTITY;
Inheritance Graph

ENTITY state_of_ordinary_physical_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_physical_object;
ENTITY state_of_ordinary_physical_object;
    temporal_part_of       : OPTIONAL SET [1:?] OF ordinary_physical_object;
    member_of              : OPTIONAL SET [1:?] OF class_of_state_of_ordinary_physical_object;
END_ENTITY;
⚠️ **GitHub.com Fallback** ⚠️