crm:P1_is_identified_by

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P1_is_identified_by a owl:ObjectProperty ;
    rdfs:label "P1 is identified by"@en ;
    rdfs:comment """Scope note:
This property describes the naming or identification of any real world item by a name or any other identifier.

This property is intended for identifiers in general use, which form part of the world the model intends to describe, and not merely for internal database identifiers which are specific to a technical system, unless these latter also have a more general use outside the technical context. This property includes in particular identification by mathematical expressions such as coordinate systems used for the identification of instances of E53 Place. The property does not reveal anything about when, where and by whom this identifier was used. A more detailed representation can be made using the fully developed (i.e. indirect) path through E15 Identifier Assignment.

Examples:
- the capital of Italy (E53) is identified by "Rome" (E48)
- text 25014-32 (E33) is identified by "The Decline and Fall of the Roman Empire" (E35)

In First Order Logic:
P1(x,y) ⊃ E1(x)
P1(x,y) ⊃ E41(y)"""@en ;
    rdfs:domain crm:E1_CRM_Entity ;
    rdfs:range crm:E41_Appellation ;
    owl:equivalentProperty ecrm:P1_is_identified_by ;
    owl:inverseOf crm:P1i_identifies ;
    skos:notation "P1"^^xsd:string .