P70 documents (is documented in) in version 7.1.1

Domain:
E31 Document
Range:
E1 CRM Entity
Subproperty of:
E89 Propositional Object. P67 refers to (is referred to by): E1 CRM Entity
Superproperty of: No superproperties found
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)