DocumentClassIsDefinedOnDocument

Description

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

Definition

A definition of a document class (x1) is given on a document (x2).

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

Roles

  1. hasDocument
  2. hasDocumentClass

Restrictions

  • Role filler of hasDocument must have entity type ClassOfInformationObject.
  • Role filler of hasDocumentClass must have entity type ClassOfInformationObject.
  • 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.
  • One of:
    • Role filler of hasDocumentClass must be classified as DocumentClass.
    • Role filler of hasDocumentClass must be used as the role filler of hasThis with respect to the ThisIsADocumentClass pattern.