crm:P139_has_alternative_form 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:P139_has_alternative_form a owl:ObjectProperty ;
    rdfs:label "P139 has alternative form"@en ;
    rdfs:comment """Scope note:
This property establishes a relationship of equivalence between two instances of E41 Appellation independent from any item identified by them. It is a dynamic asymmetric relationship, where the range expresses the derivative, if such a direction can be established. Otherwise, the relationship is symmetric. The relationship is not transitive.

The equivalence applies to all cases of use of an instance of E41 Appellation. Multiple names assigned to an object, which are not equivalent for all things identified with a specific instance of E41 Appellation, should be modelled as repeated values of P1 is identified by (identifies).

P139.1 has type allows the type of derivation, such as “transliteration from Latin 1 to ASCII” be refined..

Examples:
- "Martin Doerr" (E41) has alternative form "Martin Dörr" (E41) has type Alternate spelling (E55)
- "Гончарова, Наталья Сергеевна" (E41) has alternative form "Gončarova, Natal´â Sergeevna" (E41) has type ISO 9:1995 transliteration (E55)
- "Αθήνα" has alternative form "Athina" has type transcription.

In First Order Logic:
P139(x,y) ⊃ E41(x)
P139 (x,y) ⊃ E41(y)
P139(x,y,z) ⊃ [P139(x,y) ∧ E55(z)]
P139(x,y) ⊃ P139(y,x)

Properties: P139.1 has type: E55 Type"""@en ;
    rdfs:domain crm:E41_Appellation ;
    rdfs:range crm:E41_Appellation ;
    owl:equivalentProperty ecrm:P139_has_alternative_form ;
    skos:notation "P139"^^xsd:string .