====================================
AssetIsInstalledAssetInFunctionPlace
====================================
.. rubric:: Description


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


.. rubric:: Definition


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


.. image:: AssetIsInstalledAssetInFunctionPlace.svg


::

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

.. rubric:: Roles

1. hasAsset

2. hasInstalledAsset

3. hasFunctionPlace

.. rubric:: 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.