FpoDoesNotHaveSomething

Description

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

Definition

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

../../_images/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)) .

Roles

  1. hasFpo
  2. hasNotSomething

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasNotSomething must have entity type ClassOfInanimatePhysicalObject.