AssetIsInstalledAssetInFunctionPlace

Description

The installed asset is temporal part of the asset and function place.

Definition

A materialized physical object (x1) is an installed asset (x2) of a function place (x3).

../../_images/AssetIsInstalledAssetInFunctionPlace.svg
AssetIsInstalledAssetInFunctionPlace(x1, x2, x3) <->
    MaterializedPhysicalObject(x1) &
    MaterializedPhysicalObject(x2) &
    FunctionalPhysicalObject(x3) &
    MMT:BeginningOfTemporalPart(x2, x1)
    MMT:BeginningOfTemporalPart(x2, x3) .

Roles

  1. hasAsset
  2. hasInstalledAsset
  3. hasFunctionPlace

Restrictions

  • Role filler of hasAsset must have entity type MaterializedPhysicalObject.
  • Role filler of hasInstalledAsset must have entity type MaterializedPhysicalObject.
  • Role filler of hasFunctionPlace must have entity type FunctionalPhysicalObject.