ProcessIsDefinedOnDocument

Description

The document that contains a definition for a document class is related to the document class.

Definition

A process (x1) is defined on a document (x2).

../../_images/ProcessIsDefinedOnDocument.svg
ProcessIsDefinedOnDocument(x1, x2) <->
    ClassOfActivity(x1) &
    ClassOfInformationObject(x2) &
    exists u(
        DocumentDefinition(u) &
        MMT:DefinitionOfClassOfIndividualOnReferredDocument(x1, x2, u)) .

Roles

  1. hasProcess
  2. hasDocument

Restrictions

  • Role filler of hasProcess must have entity type ClassOfActivity.
  • Role filler of hasDocument must have entity type ClassOfInformationObject.
  • Role filler of hasProcess must be used as the role filler of hasThis with respect to the ThisIsAProcess pattern.
  • One of:
    • Role filler of hasDocument must be a specialization of Document.
    • Role filler of hasDocument must be used as the role filler of hasThis with respect to the ThisIsADocument pattern.