:P91i_is_unit_of

@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#> .

:P91i_is_unit_of a rdf:Property ;
    rdfs:label "ist Einheit von"@de,
        "αποτελεί μονάδα μέτρησης του/της"@el,
        "is unit of"@en,
        "est l’unité de mesure de"@fr,
        "é unidade de"@pt,
        "являeтся eдиницeй для"@ru,
        "所属单位"@zh ;
    rdfs:comment """Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property shows the type of unit an instance of E54 Dimension was expressed in.

Examples of the inverse property:
- The height of silver cup 232 (E54) has unit mm (E58). (fictitious)

In First Order Logic of the inverse property:
- P91(x,y) ⇒ E54(x)
- P91(x,y) ⇒ E58(y)
"""@en ;
    rdfs:domain :E58_Measurement_Unit ;
    rdfs:range :E54_Dimension ;
    owl:inverseOf :P91_has_unit .