:P127i_has_narrower_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#> .

:P127i_has_narrower_term a rdf:Property ;
    rdfs:label "hat den Unterbegriff"@de,
        "έχει στενότερο όρο"@el,
        "has narrower term"@en,
        "a pour terme spécifique"@fr,
        "tem termo específico"@pt,
        "имeeт нижeстоящий тeрмин"@ru,
        "下位词"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
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 of the inverse property:
- dime (E55) has broader term coin (E55). (Yerkes, 1989)

In First Order Logic of the inverse property:
- 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 :P127_has_broader_term .