========
FpoHasId
========
.. rubric:: 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.    


.. rubric:: Definition


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


.. image:: 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)) .
    

.. rubric:: Roles

1. hasFpo

2. hasId

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasId must have entity type EXPRESS_String.