crm:P127_has_broader_term 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:P127_has_broader_term a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "P127 has broader term"@en ;
    rdfs:comment """Scope note:
This property identifies a super-Type to which an E55 Type is related.

It allows Types to be organised into hierarchies. This is the sense of "broader term generic (BTG)" as defined in ISO 2788

Examples:
- dime (E55) has broader term coin (E55)

In First Order Logic:
P127(x,y) ⊃ E55(x)
P127(x,y) ⊃ E55(y)"""@en ;
    rdfs:domain crm:E55_Type ;
    rdfs:range crm:E55_Type ;
    owl:equivalentProperty ecrm:P127_has_broader_term ;
    owl:inverseOf crm:P127i_has_narrower_term ;
    skos:notation "P127"^^xsd:string .