CatalogItemFulfilsSpecifiedClass

Description

The property of the class of arranged individual (x1) that it represents a catalog item is an implicit information of this template. The explicit declaration of this property is not necessary but highly recommended.

Definition

A catalog item (x1) fulfills the requirements of class (x2) defined elsewhere.

CatalogItemFulfilsSpecifiedClass(x1, x2) <->
    ClassOfArrangedIndividual(x1) &
    ClassOfArrangedIndividual(x2) &
    exists u(
        ClassOfArrangedIndividual(u) &
        MMT:ClassOfTemporalPartOfClassOfIndividual(x1, u) &
        MMT:ClassOfTemporalPartOfClassOfIndividual(x2, u)) .

Roles

  1. hasCatalogItem
  2. hasSpecifiedClass

Restrictions

  • Role filler of hasCatalogItem must have entity type ClassOfArrangedIndividual.
  • Role filler of hasSpecifiedClass must have entity type ClassOfArrangedIndividual.