AssetIsCatalogItem

Description

Asset (x1) is classified by the class of arranged individual (x2). This class is represented in a catalog. The representation is modelled with the according template class of the MMT-group, as is the specialization of the own catalog from the jord item.

Definition

The asset (x1) is classified by a class of arranged individual (x2) that is represented in a catalog.

../../_images/AssetIsCatalogItem.svg
AssetIsCatalogItem(x1, x2) <->
    MaterializedPhysicalObject(x1) &
    ClassOfArrangedIndividual(x2) &
    MMT:ClassificationOfIndividual(x1, x2) &
    exists u1 exists u2 exists u3 exists jord:Catalogue(
        ClassOfInformationRepresentation(u1) &
        ClassOfClassOfInformationRepresentation(u2) &
        ClassOfInformationObject(u3) &
        ClassOfInformationObject(jord:Catalogue) &
        MMT:RepresentationOfClassOfIndividualOnDocument(x2, u3, u1, u2) &
        MMT:SpecializationOfClassOfIndividual(u3, jord:Catalogue)) .

Roles

  1. hasAsset
  2. hasCatalogItem

Restrictions

  • Role filler of hasAsset must have entity type MaterializedPhysicalObject.
  • Role filler of hasCatalogItem must have entity type ClassOfArrangedIndividual.