:P127_has_broader_term leaf node

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P127_has_broader_term a rdf:Property ;
    rdfs:label "hat den Oberbegriff"@de,
        "έχει ευρύτερο όρο"@el,
        "has broader term"@en,
        "a pour terme général"@fr,
        "tem termo genérico"@pt,
        "имeeт вышeстоящий тeрмин"@ru,
        "上位词"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E55 Type with another instance of E55 Type that has a broader meaning. 
It allows instances of E55 Types to be organised into hierarchies. This is the sense of “broader term generic (BTG)” as defined in ISO 25964-2:2013 (International Organization for Standardization 2013).
This property is transitive. This property is asymmetric.

Examples:
- dime (E55) has broader term coin (E55). (Yerkes, 1989)

In First Order Logic:
- P127(x,y) ⇒ E55(x)
- P127(x,y) ⇒ E55(y)
- [P127(x,y) ∧ P127(y,z)] ⇒ P127(x,z)
- P127(x,y) ⇒ ¬P127(y,x)
"""@en ;
    rdfs:domain :E55_Type ;
    rdfs:range :E55_Type ;
    owl:inverseOf :P127i_has_narrower_term .