P70 documents (is documented in) in Version 6.2.2

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 documents a source E32 Authority Document for an instance of an E1 CRM Entity.

Examples:
  •  the Art & Architecture Thesaurus (E32) lists alcazars (E55)
In First Order Logic:
P70 (x,y) ⊃ E31(x) , P70 (x,y) ⊃ E1(y), P70(x,y) ⊃ P67(x,y)