=================
FpoIsNotSomething
=================
.. rubric:: Description


An Fpo (hasFpo) is classified as being member of a class that is disjoint to the class
given by hasIsNotSomething.


.. rubric:: Definition


An Fpo (x1) is explicitly not a member of a particular class (x2).


.. image:: FpoIsNotSomething.svg


::

    
    FpoIsNotSomething(x1, x2) <->
        FunctionalPhysicalObject(x1) &
        ClassOfArrangedIndividual(x2) &
        exists u(
            ClassOfInanimatePhysicalObject(u) &
            MMT:DisjointnessOf2Classes(x2, u) &
            MMT:ClassificationOfIndividual(x1, u)) .
    

.. rubric:: Roles

1. hasFpo

2. hasIsNotSomething

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasIsNotSomething must have entity type ClassOfArrangedIndividual.