=======================
FpoDoesNotHaveSomething
=======================
.. rubric:: Description


It is explicitly stated that a particular Fpo does not have something of
entity type ClassOfInanimatePhysicalObject as a part.


.. rubric:: Definition


An Fpo (x1) does not have something (x2) as a part. 


.. image:: FpoDoesNotHaveSomething.svg


::

    
    FpoDoesNotHaveSomething(x1, x2) <->
        FunctionalPhysicalObject(x1) &
        ClassOfInanimatePhysicalObject(x2) &
        exists u1 exists u2 exists u3 exists u4(
            ClassOfInanimatePhysicalObject(u1) &
            ClassOfInanimatePhysicalObject(u2) &
            Cardinality(u3) &
            Cardinality(u4) &
            AIX:FpoIsSomething(x1, u1) &
            ClassOfAssemblyDefinition(u1, u2, u3, u4) &
            DisjointnessOf2Classes(x2, u2)) .
    

.. rubric:: Roles

1. hasFpo

2. hasNotSomething

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasNotSomething must have entity type ClassOfInanimatePhysicalObject.