FpoIsNotSomething

Description

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

Definition

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

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

Roles

  1. hasFpo
  2. hasIsNotSomething

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasIsNotSomething must have entity type ClassOfArrangedIndividual.