transfer_of_ownership_of_money - hqdmTop/hqdmFramework GitHub Wiki

Transfer of Ownership of Money

A transfer_of_ownership where the asset is a money_asset.

Attributes

  • references: A references relationship type where a transfer_of_ownership_of_money references exactly one money_asset.
  • part_of: A part_of relationship type where a transfer_of_ownership_of_money may be a part_of at most one exchange_of_goods_and_money.

EXPRESS Specification

Diagram 36

Schema

ENTITY transfer_of_ownership_of_money
  SUBTYPE OF(transfer_of_ownership);
    SELF\transfer_of_ownership.references : SET [1:1] OF money_asset;
    SELF\transfer_of_ownership.part_of    : OPTIONAL SET [1:1] OF exchange_of_goods_and_money;
END_ENTITY;
Inheritance Graph 

ENTITY transfer_of_ownership_of_money;
  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_activity;
    temporal_part_of         : OPTIONAL SET [1:?] OF activity;
    member_of                : OPTIONAL SET [1:?] OF class_of_state_of_activity;
  ENTITY activity;
    determines               : OPTIONAL SET [1:?] OF thing;
    causes                   : SET [1:?] OF event;
    member_of_kind           : SET [1:?] OF kind_of_activity;
  INVERSE
    consists_of              : SET OF activity FOR part_of;
  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;
    member_of                : OPTIONAL SET [1:?] OF class_of_state_of_socially_constructed_object;
    temporal_part_of         : OPTIONAL SET [1:?] OF socially_constructed_object;
  ENTITY socially_constructed_object;
    member_of                : OPTIONAL SET [1:?] OF class_of_socially_constructed_object;
    member_of_kind           : OPTIONAL SET [1:?] OF kind_of_socially_constructed_object;
  ENTITY socially_constructed_activity;
    member_of                : OPTIONAL SET [1:?] OF class_of_socially_constructed_activity;
    part_of_                 : OPTIONAL SET [1:?] OF agreement_execution;
  ENTITY transfer_of_ownership;
    causes_beginning         : SET [1:1] OF beginning_of_ownership;
    causes_ending            : SET [1:1] OF ending_of_ownership;
  INVERSE
    consists_of_participant_ : SET [1:1] OF transferee FOR participant_in;
    consists_of_participant  : SET [1:1] OF transferor FOR participant_in;
  ENTITY transfer_of_ownership_of_money;
    references               : SET [1:1] OF money_asset;
    part_of                  : OPTIONAL SET [1:1] OF exchange_of_goods_and_money;
END_ENTITY;
⚠️ **GitHub.com Fallback** ⚠️