FpoHasId

Description

An ID (hasID) is assigned to a functional physical object (hasFpo). Another hasIdentificationType role filler is used to account for the different connection between the text string and the FPO with respect to the modelling pattern [FPO has NAME]. A company specific COMPANY ID ASSIGNMENT CLASS is assumed to exist. This class is a specialization of the JORD’s RDL class IDENTIFIER.

Definition

An Fpo (x1) has a given ID (x2).

../../_images/FpoHasId.svg
FpoHasId(x1, x2) <->
    FunctionalPhysicalObject(x1) &
    ExpressString(x2) &
    exists u exists jord:Identifier(
        ClassOfClassOfIdentification(u) &
        ClassOfClassOfIdentification(jord:Identifier) &
        MMT:ClassifiedIdentificationOfIndividual(x1, x2, u) &
        P7:SpecializationTemplate(u, jord:Identifier)) .

Roles

  1. hasFpo
  2. hasId

Restrictions

  • Role filler of hasFpo must have entity type FunctionalPhysicalObject.
  • Role filler of hasId must have entity type EXPRESS_String.