...
"This property describes the active participation of an E39 Actor in an E7 Activity. It implies causal or legal responsibility. The P14.1 in the role of property of the property allows the nature of an Actor’s participation to be specified."
Die Klasse E55 Type (E55 Typus) umfasst
"concepts denoted by terms from thesauri and controlled vocabularies used to characterize and classify instances of CRM classes. (...) E55 Type is the CRM’s interface to domain specific ontologies and thesauri. These can be represented in the CRM as subclasses of E55 Type, forming hierarchies of terms, i.e. instances of E55 Type linked via P127 has broader term (has narrower term). Such hierarchies may be extended with additional properties."
...
In First Order Logic:
P14 (x,y) ⊃ E7(x), P14 (x,y) ⊃ E39(y), P14 (x,y) ⊃ P11(x,y), P14(x,y,z) ⊃ [P14(x,y) ∧ E55(z)]
Literaturhinweis: Meghini, Carlo; Doerr, Martin: A first-order logic expression of the CIDOC Conceptual Reference Model. In: Int. J. Signal and Imaging Systems Engineering, Vol. x, No. x, 201X. (PDF, 396 KB)
Getty Vocabulary Program ontology (GVP)
...