ObjectHasId

Description

An ID (hasID) is assigned to an object (hasObject). 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 object (x1) has a particular ID (x2).

ObjectHasId(x1, x2) <->
    ClassOfInanimatePhysicalObject(x1) &
    ExpressString(x2) &
    exists u exists Jord:Identifier(
        ClassOfClassOfIdentification(u) &
        ClassOfClassOfIdentification(Jord:Identifier) &
        MMT:ClassifiedIdentificationOfClassOfIndividual(x1, x2, u) &
        P7:SpecializationTemplate(u, Jord:Identifier)) .

Roles

  1. hasObject
  2. hasId

Restrictions

  • Role filler of hasObject must have entity type ClassOfInanimatePhysicalObject.
  • Role filler of hasId must have entity type EXPRESS_String.