AssetFulfilsSpecifiedClass

Description

A materialized physical object that is an asset can be classified as a member of a specific class.

Definition

The asset (x1) is classified by a class of arranged individual that itself is part of the specified class (x2).

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

Roles

  1. hasAsset
  2. hasSpecifiedClass

Restrictions

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