crm:P123_resulted_in leaf node

@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:P123_resulted_in a owl:ObjectProperty ;
    rdfs:label "P123 resulted in"@en ;
    rdfs:comment """Scope note:
This property identifies the E77 Persistent Item or items that are the result of an E81 Transformation.

New items replace the transformed item or items, which cease to exist as units of documentation. The physical continuity between the old and the new is expressed by the link to the common Transformation.

Examples:
- the transformation of the Venetian Loggia in Heraklion into a city hall (E81)  resulted in the City Hall of Heraklion (E22)
- the death and mummification of Tut-Ankh-Amun (E81) resulted in the Mummy of Tut Tut-Ankh-Amun (E22 and E20)

In First Order Logic:
P123(x,y) ⊃ E81(x)
P123(x,y) ⊃ E77(y)
P123(x,y) ⊃ P92(x,y)"""@en ;
    rdfs:domain crm:E81_Transformation ;
    rdfs:range crm:E77_Persistent_Item ;
    rdfs:subPropertyOf crm:P92_brought_into_existence ;
    owl:equivalentProperty ecrm:P123_resulted_in ;
    owl:inverseOf crm:P123i_resulted_from ;
    skos:notation "P123"^^xsd:string .