FpoHasNozzle

Description

The functional physical object, that is pointed on by the role hasFpo has a nozzle. The nozzle itself is also an FPO. This (nozzle-)FPO is classified to Fulfil a connecting-function. It is classified as nozzle with the help of an external reference data library, that is the JORD-RDL.

Definition

An Fpo (x1) has a nozzle (x2) as a part.

../../_images/FpoHasNozzle.svg
FpoHasNozzle(x1, x2) <->
    FunctionalPhysicalObject(x1) &
    FunctionalPhysicalObject(x2) &
    MMT:AssemblyOfAnIndividual(x1, x2) &
    exists jord:ConnectionPoint exists jord:Nozzle(
        ClassOfFunctionalObject(jord:ConnectionPoint) &
        ClassOfInanimatePhysicalObject(jord:Nozzle) &
        MMT:ClassificationOfIndividual(x2, jord:ConnectionPoint) &
        MMT:ClassificationOfIndividual(x2, jord:Nozzle)) .

Roles

  1. hasFpo
  2. hasNozzle

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasNozzle must have entity type FunctionalPhysicalObject.