FpoHasName

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.

Definition

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

../../_images/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)) .

Roles

  1. hasFpo
  2. hasName

Restrictions

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