:P67_refers_to


URI

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

Type

rdf:Property

Label

refers to

Description

Quantification: many to many (0,n:0,n)

Scope note:
This property documents that an instance of E89 Propositional Object makes a statement about an instance of E1 CRM Entity. P67 refers to (is referred to by) has the P67.1 has type link to an instance of E55 Type. This is intended to allow a more detailed description of the type of reference. This differs from P129 is about (is subject of), which describes the primary subject or subjects of the instance of E89 Propositional Object.

Examples:
- The eBay auction listing of 4(th) July 2002 (E73) refers to silver cup 232 (E22) has type item for sale (E55). (fictitious)

Properties:
- P67.1 has type: E55 Type

In First Order Logic:
- P67(x,y) ⇒ E89(x)
- P67(x,y) ⇒ E1(y)
- P67(x,y,z) ⇒ [P67(x,y) ∧ E55(z)]

Usage

DOMAINPROPERTYRANGE
:E89_Propositional_Object :P67_refers_to :E1_CRM_Entity

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

:P67_refers_to a rdf:Property ;
    rdfs:label "verweist auf"@de,
        "αναφέρεται σε"@el,
        "refers to"@en,
        "renvoie à"@fr,
        "referencia"@pt,
        "ссылаeтся на"@ru,
        "涉及"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property documents that an instance of E89 Propositional Object makes a statement about an instance of E1 CRM Entity. P67 refers to (is referred to by) has the P67.1 has type link to an instance of E55 Type. This is intended to allow a more detailed description of the type of reference. This differs from P129 is about (is subject of), which describes the primary subject or subjects of the instance of E89 Propositional Object.

Examples:
- The eBay auction listing of 4(th) July 2002 (E73) refers to silver cup 232 (E22) has type item for sale (E55). (fictitious)

Properties:
- P67.1 has type: E55 Type

In First Order Logic:
- P67(x,y) ⇒ E89(x)
- P67(x,y) ⇒ E1(y) 
- P67(x,y,z) ⇒ [P67(x,y) ∧ E55(z)]
"""@en ;
    rdfs:domain :E89_Propositional_Object ;
    rdfs:range :E1_CRM_Entity ;
    owl:inverseOf :P67i_is_referred_to_by .