spatio_temporal_extent

Spatio-Temporal Extent

A thing that exists in time and space.

Attributes

• part__of: An aggregated_into relationship type where a spatio_temporal_extent may be part of another and the whole has emergent properties and is more than just the sum of its parts.
  • Note: This relationship has the same meaning but is a different representation of the composition entity type.
• beginning: A part_of relationship type where a spatio_temporal_extent has exactly one event that is its beginning.
• ending: A part_of relationship type where a spatio_temporal_extent has exactly one event that is its ending.
• part_of_possible_world: A part_of relationship type where a spatio_temporal_extent may be part_of one or more possible_world.
  • Note: The relationship is optional because a possible_world is not part_of any other spatio_temporal_extent.
• member_of: A member_of relationship type where a spatio_temporal_extent is a member_of a class_of_spatio_temporal_extent.
• temporal__part_of: A part_of relationship type where a spatio_temporal_extent may be a temporal part of one or more other spatio_temporal_extent.
  • Note: this is temporal_composition represented as a relationship instead of an entity type.
• aggregated_into: A relationship type where a spatio_temporal_extent may be aggregated into one or more others.
  • Note: This has the same meaning as, but different representation to, the aggregation entity type.
• consists__of: A relationship type where a spatio_temporal_extent may consist of one or more others.
  • Note: This is the inverse of part__of.

Subtypes

• event
• requirement
• state

EXPRESS Specification

Schema

ENTITY spatio_temporal_extent
  SUBTYPE OF(thing);
    part__of               : OPTIONAL SET [1:?] OF spatio_temporal_extent;
    beginning              : OPTIONAL event;
    ending                 : OPTIONAL event;
    part_of_possible_world : SET [1:?] OF possible_world;
    member_of              : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
    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;
END_ENTITY;

Inheritance Graph

ENTITY spatio_temporal_extent;
  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;
    member_of              : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
    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;
END_ENTITY;