============
FpoHasNozzle
============
.. rubric:: Description


The functional physical object, that is pointed on by the role hasFpo has a
nozzle. The nozzle itself is also an FPO. This (nozzle-)FPO is classified to
Fulfil a connecting-function. It is classified as nozzle with the help of 
an external reference data library, that is the JORD-RDL.


.. rubric:: Definition


An Fpo (x1) has a nozzle (x2) as a part.


.. image:: FpoHasNozzle.svg


::

    
    FpoHasNozzle(x1, x2) <->
        FunctionalPhysicalObject(x1) &
        FunctionalPhysicalObject(x2) &
        MMT:AssemblyOfAnIndividual(x1, x2) &
        exists jord:ConnectionPoint exists jord:Nozzle(
            ClassOfFunctionalObject(jord:ConnectionPoint) &
            ClassOfInanimatePhysicalObject(jord:Nozzle) &
            MMT:ClassificationOfIndividual(x2, jord:ConnectionPoint) &
            MMT:ClassificationOfIndividual(x2, jord:Nozzle)) .
    

.. rubric:: Roles

1. hasFpo

2. hasNozzle

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasNozzle must have entity type FunctionalPhysicalObject.