ObjectSpecificationOfObject

Description

The term ‘object’ in modelling patterns is used as term for instances of entity type Coai. A more specific information (object specification) of an object is linked the respective object.

Definition

A Coai (x1) is specialized from a more general Coai (x2).

../../_images/ObjectSpecificationOfObject.svg
ObjectSpecificationOfObject(x1, x2) <->
    ClassOfArrangedIndividual(x1) &
    ClassOfArrangedIndividual(x2) &
    MMT:SpecializationOfClassOfIndividual(x1, x2) .

Roles

  1. hasObjectSpecification
  2. hasObject

Restrictions

  • Role filler of hasObjectSpecification must have entity type ClassOfArrangedIndividual.
  • Role filler of hasObject must have entity type ClassOfArrangedIndividual.
  • Role filler of hasObjectSpecification must be used as the role filler of hasThis with respect to the ThisIsAnObject pattern.
  • Role filler of hasObject must be used as the role filler of hasThis with respect to the ThisIsAnObject pattern.