class_of_contract_execution - hqdmTop/hqdmFramework GitHub Wiki

Class of Contract Execution

A class_of_agreement_execution that is contract_execution or any of its subsets.

Attributes

  • part_of_by_class: A part_of_by_class relationship type where a member_of the class_of_contract_execution may be a part_of a member_of the class_of_contract_process.

EXPRESS Specification

Diagram 40

Schema

ENTITY class_of_contract_execution
  SUBTYPE OF(class_of_agreement_execution);
    SELF\class_of_agreement_execution.part_of_by_class : OPTIONAL SET [1:?] OF class_of_contract_process;
END_ENTITY;
Inheritance Graph 

ENTITY class_of_contract_execution;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_activity;
  ENTITY class_of_activity;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_intentionally_constructed_object;
  ENTITY thing;
    member__of            : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of             : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass        : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_            : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class     : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_state_of_socially_constructed_object;
  ENTITY class_of_socially_constructed_object;
  ENTITY class_of_socially_constructed_activity;
    part_of_by_class_     : OPTIONAL SET [1:?] OF class_of_agreement_execution;
  ENTITY class_of_agreement_execution;
  ENTITY class_of_contract_execution;
    part_of_by_class      : OPTIONAL SET [1:?] OF class_of_contract_process;
END_ENTITY;
⚠️ **GitHub.com Fallback** ⚠️