crm:P38_deassigned 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:P38_deassigned a owl:ObjectProperty ;
    rdfs:label "P38 deassigned"@en ;
    rdfs:comment """Scope note:
This property records the identifier that was deassigned from an instance of E1 CRM Entity.
Deassignment of an identifier may be necessary when an item is taken out of an inventory, a new numbering system is introduced or items are merged or split up.
The same identifier may be deassigned on more than one occasion.

Examples:
- 31 July 2001 Identifier Assignment of the silver cup OXCMS:2001.1.32 (E15) deassigned "232" (E42)

In First Order Logic:
P38(x,y) ⊃ E15(x)
P38(x,y) ⊃ E42(y)
P38(x,y) ⊃ P141(x,y)"""@en ;
    rdfs:domain crm:E15_Identifier_Assignment ;
    rdfs:range crm:E42_Identifier ;
    rdfs:subPropertyOf crm:P141_assigned ;
    owl:equivalentProperty ecrm:P38_deassigned ;
    owl:inverseOf crm:P38i_was_deassigned_by ;
    skos:notation "P38"^^xsd:string .