exchange_of_goods_and_money - hqdmTop/hqdmFramework GitHub Wiki

Exchange of Goods and Money

An agreement_execution that consists of a transfer_of_ownership of goods and a transfer_of_ownership_of_money.

Attributes

  • part_of: A part_of relationship type where an exchange_of_goods_and_money is a part_of exactly one sale_of_goods.
  • consists_of_: A consists_of relationship type where an exchange_of_goods_and_money consists of exactly one transfer_of_ownership_of_money.
    • Note: This entity type has another consists_of relationship. EXPRESS requires relationship names to be unique, so I have renamed this one.
  • consists_of: A consists_of relationship type where an exchange_of_goods_and_money consists of exactly one transfer_of_ownership as a part.

EXPRESS Specification

Diagram 42

Schema

ENTITY exchange_of_goods_and_money
  SUBTYPE OF(contract_execution);
    SELF\contract_execution.part_of : SET [1:1] OF sale_of_goods;
  INVERSE
    consists_of_                    : SET [1:1] OF transfer_of_ownership_of_money FOR part_of;
    SELF\activity.consists_of       : SET [1:1] OF transfer_of_ownership FOR part_of;
END_ENTITY;
Inheritance Graph 

ENTITY exchange_of_goods_and_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;
    references              : OPTIONAL SET [1:?] OF thing;
    determines              : OPTIONAL SET [1:?] OF thing;
    causes                  : SET [1:?] OF event;
    member_of_kind          : SET [1:?] OF kind_of_activity;
  INVERSE
    consists_of_participant : SET [1:?] OF participant FOR participant_in;
  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;
    part_of_                : OPTIONAL SET [1:?] OF agreement_execution;
  ENTITY agreement_execution;
  ENTITY contract_execution;
    member_of               : OPTIONAL SET [1:?] OF class_of_contract_execution;
  ENTITY exchange_of_goods_and_money;
    part_of                 : SET [1:1] OF sale_of_goods;
  INVERSE
    consists_of_            : SET [1:1] OF transfer_of_ownership_of_money FOR part_of;
    consists_of             : SET [1:1] OF transfer_of_ownership FOR part_of;
END_ENTITY;
⚠️ **GitHub.com Fallback** ⚠️