:P70_documents leaf node


URI

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

Type

rdf:Property

Label

documents

Description

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

Scope note:
This property describes the CRM Entities documented as instances of E31 Document.
Documents may describe any conceivable entity, hence the link to the highest-level entity in the CIDOC CRM class hierarchy. This property is intended for cases where a reference is regarded as making a proposition about reality. This may be of a documentary character, in the scholarly or scientific sense, or a more general statement.

Examples:
- The ‘Catalogue of the Greek coins of Arabia, Mesopotamia and Persia’ (E31) documents parts of the British Museum’s Collection (E78). (British Museum & Hill, 1922)

In First Order Logic:
- P70(x,y) ⇒ E31(x)
- P70(x,y) ⇒ E1(y)
- P70(x,y) ⇒ P67(x,y)

Inherits from

Usage

DOMAINPROPERTYRANGE
:E31_Document :P70_documents :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#> .

:P70_documents a rdf:Property ;
    rdfs:label "belegt"@de,
        "τεκμηριώνει"@el,
        "documents"@en,
        "documente"@fr,
        "documenta"@pt,
        "докумeнтируeт"@ru,
        "记录了"@zh ;
    rdfs:comment """Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property describes the CRM Entities documented as instances of E31 Document. 
Documents may describe any conceivable entity, hence the link to the highest-level entity in the CIDOC CRM class hierarchy. This property is intended for cases where a reference is regarded as making a proposition about reality. This may be of a documentary character, in the scholarly or scientific sense, or a more general statement.

Examples:
- The ‘Catalogue of the Greek coins of Arabia, Mesopotamia and Persia’ (E31) documents parts of the British Museum’s Collection (E78). (British Museum &amp; Hill, 1922)

In First Order Logic:
- P70(x,y) ⇒ E31(x)
- P70(x,y) ⇒ E1(y) 
- P70(x,y) ⇒ P67(x,y)
"""@en ;
    rdfs:domain :E31_Document ;
    rdfs:range :E1_CRM_Entity ;
    rdfs:subPropertyOf :P67_refers_to ;
    owl:inverseOf :P70i_is_documented_in .