FpoIsSomething

Description

A functional physical object is classified as being member of a class of arranged individual.

Definition

An Fpo (x1) is classified by a Coai (x2).

../../_images/FpoIsSomething.svg
FpoIsSomething(x1, x2) <->
    FunctionalPhysicalObject(x1) &
    ClassOfArrangedIndividual(x2) &
    MMT:ClassificationOfIndividual(x1, x2) .

Roles

  1. hasFpo
  2. hasIsSomething

Restrictions

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