:P180i_was_currency_of leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P180i_was_currency_of

Type

rdf:Property

Label

was currency of

Description

Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property establishes the relationship between an instance of E97 Monetary Amount and the instance of E98 Currency that it is measured in.

Examples of the inverse property:
- Christie’s hammer price for Vincent van Gogh’s “Still Life: Vase with Fifteen Sunflowers” in London on 30(th) March 1987 (E97) has currency British Pounds (E98).

In First Order Logic of the inverse property:
- P180(x,y) ⇒ E97(x)
- P180(x,y) ⇒ E98(y)
- P180(x,y) ⇒ P91(x,y)

Inherits from

Usage

DOMAINPROPERTYRANGE
:E98_Currency :P180i_was_currency_of :E97_Monetary_Amount

Implementation

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

:P180i_was_currency_of a rdf:Property ;
    rdfs:label "was currency of"@en,
        "était l’unité monétaire de"@fr,
        "был валютой"@ru ;
    rdfs:comment """Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property establishes the relationship between an instance of E97 Monetary Amount and the instance of E98 Currency that it is measured in.

Examples of the inverse property:
- Christie’s hammer price for Vincent van Gogh’s “Still Life: Vase with Fifteen Sunflowers” in London on 30(th) March 1987 (E97) has currency British Pounds (E98).

In First Order Logic of the inverse property:
- P180(x,y) ⇒ E97(x)
- P180(x,y) ⇒ E98(y)
- P180(x,y) ⇒ P91(x,y)
"""@en ;
    rdfs:domain :E98_Currency ;
    rdfs:range :E97_Monetary_Amount ;
    rdfs:subPropertyOf :P91i_is_unit_of ;
    owl:inverseOf :P180_has_currency .