ThisIsADocument

Description

A document is declared as such by specializing it from the ClassOfInformationObject jord:Document from the JORD-RDL.

Definition

A document (x1) is marked as such.

../../_images/ThisIsADocument.svg
ThisIsADocument(x1) <->
    ClassOfInformationObject(x1) &
    exists jord:Document(
        ClassOfInformationObject(jord:Document) &
        MMT:SpecializationOfClassOfIndividual(x1, jord:Document)) .

Roles

  1. hasThis

Restrictions

Role filler of hasThis must have entity type ClassOfInformationObject.