==========
FpoHasName
==========
.. rubric:: Description


A name (hasName) is assigned to a functional physical object (hasFpo).
This is done by using the MMT-Template [ClassifiedIdentificationOfIndividual].
The role hasIdentificationType is filled with a company-specific
COMPANY NAME ASSIGNMENT CLASS which is thought of to be located in a
company’s reference data library (RDL). This company’s name assignment
class is thought of to be specialized from the NAME ASSIGNMENT CLASS of 
posccaesar’s JORD-RDL.


.. rubric:: Definition


An Fpo (x1) has a name (x2).


.. image:: FpoHasName.svg


::

    
    FpoHasName(x1, x2) <-> 
        FunctionalPhysicalObject(x1) & 
        ExpressString(x2) & 
        exists u exists jord:NameAssignmentClass( 
            ClassOfClassOfIdentification(u) &
            ClassOfClassOfIdentification(jord:NameAssignmentClass) &
            MMT:ClassifiedIdentificationOfIndividual(x1, x2, u) &
            P7:SpecializationTemplate(u, jord:NameAssignmentClass)) .
    

.. rubric:: Roles

1. hasFpo

2. hasName

.. rubric:: Restrictions

* Role filler of hasFpo must have entity type FunctionalPhysicalObject.

* Role filler of hasName must have entity type EXPRESS_String.