Skip to content

transfer_of_ownership

Jump to bottom
GCHQDeveloper42 edited this page Mar 27, 2023 · 5 revisions

Transfer of Ownership

A socially_constructed_activity that ends one ownership and begins another for assets that are a temporal_part_of the same physical_object.

Attributes

  • causes_beginning: A causes relationship type where a transfer_of_ownership causes exactly one beginning_of_ownership.
  • causes_ending: A causes relationship type where a transfer_of_ownership causes exactly one ending_of_ownership.
  • references: A references relationship type where a transfer_of_ownership references exactly one asset.
  • part_of: A part_of relationship type where a transfer_of_ownership may be part_of not more than one exchange_of_goods_and_money.
  • consists_of_participant_: A consists_of_participant relationship type where a transfer_of_ownership consists_of_participant exactly one transferee.
  • consists_of_participant: A consists_of_participant relationship type where a transfer_of_ownership consists_of_participant exactly one transferor.

Subtypes

EXPRESS Specification

Diagram 36

Schema

ENTITY transfer_of_ownership
  SUBTYPE OF(socially_constructed_activity);
    causes_beginning                           : SET [1:1] OF beginning_of_ownership;
    causes_ending                              : SET [1:1] OF ending_of_ownership;
    SELF\activity.references                   : SET [1:1] OF asset;
    SELF\socially_constructed_activity.part_of : OPTIONAL SET [1:1] OF exchange_of_goods_and_money;
  INVERSE
    consists_of_participant_                   : SET [1:1] OF transferee FOR participant_in;
    SELF\activity.consists_of_participant      : SET [1:1] OF transferor FOR participant_in;
END_ENTITY;
Inheritance Graph 

ENTITY transfer_of_ownership;
  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;
    references               : SET [1:1] OF asset;
    part_of                  : OPTIONAL SET [1:1] OF exchange_of_goods_and_money;
  INVERSE
    consists_of_participant_ : SET [1:1] OF transferee FOR participant_in;
    consists_of_participant  : SET [1:1] OF transferor FOR participant_in;
END_ENTITY;
Clone this wiki locally