ObjectIsCapableOfFunction

Description

An object that is a dm:ClassOfArrangedIndividual is specified by its function. The function is of entity type dm:ClassOfFunctionalObject.

Definition

An object (x1) is capable of a function (x2).

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

Roles

  1. hasObject
  2. hasFunction

Restrictions

  • Role filler of hasObject must have entity type ClassOfArrangedIndividual.
  • Role filler of hasFunction must have entity type ClassOfFunctionalObject.