Formal Derivation – D3

D3 Formal Derivation

Scope note:

This class comprises events that result in the creation of a D1 Digital Object from another one following a deterministic algorithm, such that the resulting instance of digital object shares representative properties with the original object.

In other words, this class describes the transition from an immaterial object referred to by property L21 used as derivation source (was derivation source for) to another immaterial object referred to by property L22 created derivative (was derivative created by) preserving the representation of some things but in a different form. Characteristic examples are colour corrections, contrast changes and resizing of images.

Examples:

No example yet.

In First Order Logic:

  • D3(x) ⊃ D10(x)

Scope Notes

Show Scope note Language Namespace View details Comments
This class comprises events that result in the creation of a D1 Digital Object from another one following a deterministic algorithm, such that the resulting instance of digital object shares representative properties with the original object. In other words, this class describes the transition from an immaterial object referred to by property L21 used as derivation source (was derivation source for) to another immaterial object referred to by property L22 created derivative (was derivative created by) preserving the representation of some things but in a different form. Characteristic examples are colour corrections, contrast changes and resizing of images. en CRMdig version 3.2 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : D3

Labels

Label Language Last updated View details Comments
Formal Derivation * en 2021-06-10 0

* : Standard label for this language

Namespace

Namespace Last updated
CRMdig version 3.2 2021-05-07

Parent classes

Class Class namespace Relation defined in Justification View details Edit Delete Comments
D10 Software Execution CRMdig version 3.2 CRMdig version 3.2 0

Ancestor classes

Class Depth Class namespace Via
E1 CRM Entity 8 CIDOC CRM version 6.2 D10 - D7 - E11 - E7 - E5 - E4 - E2
E1 CRM Entity 8 CIDOC CRM version 6.2 D10 - D7 - E11 - E7 - E5 - E4 - E92
E1 CRM Entity 8 CIDOC CRM version 6.2 D10 - D7 - E65 - E63 - E5 - E4 - E2
E1 CRM Entity 8 CIDOC CRM version 6.2 D10 - D7 - E65 - E63 - E5 - E4 - E92
E1 CRM Entity 8 CIDOC CRM version 6.2 D10 - D7 - E65 - E7 - E5 - E4 - E2
E1 CRM Entity 8 CIDOC CRM version 6.2 D10 - D7 - E65 - E7 - E5 - E4 - E92
E2 Temporal Entity 7 CIDOC CRM version 6.2 D10 - D7 - E11 - E7 - E5 - E4
E2 Temporal Entity 7 CIDOC CRM version 6.2 D10 - D7 - E65 - E63 - E5 - E4
E2 Temporal Entity 7 CIDOC CRM version 6.2 D10 - D7 - E65 - E7 - E5 - E4
E4 Period 6 CIDOC CRM version 6.2 D10 - D7 - E11 - E7 - E5
E4 Period 6 CIDOC CRM version 6.2 D10 - D7 - E65 - E63 - E5
E4 Period 6 CIDOC CRM version 6.2 D10 - D7 - E65 - E7 - E5
E5 Event 5 CIDOC CRM version 6.2 D10 - D7 - E11 - E7
E5 Event 5 CIDOC CRM version 6.2 D10 - D7 - E65 - E63
E5 Event 5 CIDOC CRM version 6.2 D10 - D7 - E65 - E7
E7 Activity 4 CIDOC CRM version 6.2 D10 - D7 - E11
E7 Activity 4 CIDOC CRM version 6.2 D10 - D7 - E65
E11 Modification 3 CIDOC CRM version 6.2 D10 - D7
E63 Beginning of Existence 4 CIDOC CRM version 6.2 D10 - D7 - E65
E65 Creation 3 CIDOC CRM version 6.2 D10 - D7
E92 Spacetime Volume 7 CIDOC CRM version 6.2 D10 - D7 - E11 - E7 - E5 - E4
E92 Spacetime Volume 7 CIDOC CRM version 6.2 D10 - D7 - E65 - E63 - E5 - E4
E92 Spacetime Volume 7 CIDOC CRM version 6.2 D10 - D7 - E65 - E7 - E5 - E4
Thing 9 OntoME internal model - active version D10 - D7 - E11 - E7 - E5 - E4 - E2 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E11 - E7 - E5 - E4 - E92 - C5
Thing 9 OntoME internal model - active version D10 - D7 - E11 - E7 - E5 - E4 - E92 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E63 - E5 - E4 - E2 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E63 - E5 - E4 - E92 - C5
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E63 - E5 - E4 - E92 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E7 - E5 - E4 - E2 - E1
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E7 - E5 - E4 - E92 - C5
Thing 9 OntoME internal model - active version D10 - D7 - E65 - E7 - E5 - E4 - E92 - E1
D7 Digital Machine Event 2 CRMdig version 3.2 D10
C5 Region 8 CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing D10 - D7 - E11 - E7 - E5 - E4 - E92
C5 Region 8 CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing D10 - D7 - E65 - E63 - E5 - E4 - E92
C5 Region 8 CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing D10 - D7 - E65 - E7 - E5 - E4 - E92

Child and descendant classes

Class Depth Class namespace Via

Related classes

Relation Class Justification Relation defined in View details Edit Delete Comments

Outgoing properties (this class is domain)

Domain Property identifier Range Namespace
D3 Formal Derivation L21 used as derivation source (was derivation source for) D1 Digital Object CRMdig version 3.2
D3 Formal Derivation L22 created derivative (was derivative created by) D1 Digital Object CRMdig version 3.2

Outgoing properties (inherited from ancestors)

Domain Property identifier Range Namespace
D3 Formal Derivation (is a E1 CRM Entity ) P1 is identified by (identifies) E41 Appellation CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity ) P2 has type (is type of) E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity ) P3 has note E62 String CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity ) P48 has preferred identifier (is preferred identifier of) E42 Identifier CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity ) P137 exemplifies (is exemplified by) E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E1 CRM Entity ) L47 has comment E62 String CRMdig version 3.2
D3 Formal Derivation (is a E1 CRM Entity ) L4 has preferred label E62 String CRMdig version 3.2
D3 Formal Derivation (is a E1 CRM Entity ) L53 is not uniquely identified by E62 String CRMdig version 3.2
D3 Formal Derivation (is a E1 CRM Entity ) P2 domain class has identity defining component (is identity defining component of domain class) E1 CRM Entity CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D3 Formal Derivation (is a E1 CRM Entity ) P10 time-independent entity association E1 CRM Entity CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D3 Formal Derivation (is a E1 CRM Entity ) P18 is identifying component of range class (range class has identity defining component) E1 CRM Entity CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D3 Formal Derivation (is a E1 CRM Entity ) P20 same as URI (same as) E42 Identifier SDHSS CIDOC CRM supplement – ongoing
D3 Formal Derivation (is a E1 CRM Entity ) P24 has identity defining type (is identity defining type) E55 Type SDHSS CIDOC CRM supplement – ongoing
D3 Formal Derivation (is a E2 Temporal Entity ) P4 has time-span (is time-span of) E52 Time-Span CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity ) P114 is equal in time to E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity ) P115 finishes (is finished by) E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity ) P116 starts (is started by) E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity ) P117 occurs during (includes) E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity ) P118 overlaps in time with (is overlapped in time by) E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity ) P119 meets in time with (is met in time by) E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity ) P120 occurs before (occurs after) E2 Temporal Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E2 Temporal Entity ) P1 involves E1 CRM Entity CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D3 Formal Derivation (is a E2 Temporal Entity ) P5 is component of (has component) E2 Temporal Entity CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D3 Formal Derivation (is a E4 Period ) P7 took place at (witnessed) E53 Place CIDOC CRM version 6.2
D3 Formal Derivation (is a E4 Period ) P8 took place on or within (witnessed) E18 Physical Thing CIDOC CRM version 6.2
D3 Formal Derivation (is a E4 Period ) P9 consists of (forms part of) E4 Period CIDOC CRM version 6.2
D3 Formal Derivation (is a E4 Period ) P6 took place at (was place of) C13 Geographical Place CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D3 Formal Derivation (is a E5 Event ) P11 had participant (participated in) E39 Actor CIDOC CRM version 6.2
D3 Formal Derivation (is a E5 Event ) P12 occurred in the presence of (was present at) E77 Persistent Item CIDOC CRM version 6.2
D3 Formal Derivation (is a E5 Event ) P8 effects quality (result from) C1 Entity Quality CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D3 Formal Derivation (is a E5 Event ) P9 ends (is ended by) C1 Entity Quality CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D3 Formal Derivation (is a E7 Activity ) P14 carried out by (performed) E39 Actor CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P15 was influenced by (influenced) E1 CRM Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P16 used specific object (was used for) E70 Thing CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P17 was motivated by (motivated) E1 CRM Entity CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P19 was intended use of (was made for) E71 Man-Made Thing CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P20 had specific purpose (was purpose of) E5 Event CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P21 had general purpose (was purpose of) E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P32 used general technique (was technique of) E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P33 used specific technique (was used by) E29 Design or Procedure CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P125 used object of type (was type of object used in) E55 Type CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) P134 continued (was continued by) E7 Activity CIDOC CRM version 6.2
D3 Formal Derivation (is a E7 Activity ) L29 has responsible organization (is responsible organization for) E40 Legal Body CRMdig version 3.2
D3 Formal Derivation (is a E7 Activity ) L30 has operator (is operator of) E21 Person CRMdig version 3.2
D3 Formal Derivation (is a E7 Activity ) L34 has contractor (is contractor for) E40 Legal Body CRMdig version 3.2
D3 Formal Derivation (is a E7 Activity ) L35 has commissioner (is commissioner for) E40 Legal Body CRMdig version 3.2
D3 Formal Derivation (is a E7 Activity ) P19 has activity type (is type of activity) C3 Activity Type SDHSS CIDOC CRM supplement – ongoing
D3 Formal Derivation (is a E11 Modification ) P31 has modified (was modified by) E24 Physical Man-Made Thing CIDOC CRM version 6.2
D3 Formal Derivation (is a E11 Modification ) P126 employed (was employed in) E57 Material CIDOC CRM version 6.2
D3 Formal Derivation (is a E63 Beginning of Existence ) P92 brought into existence (was brought into existence by) E77 Persistent Item CIDOC CRM version 6.2
D3 Formal Derivation (is a E65 Creation ) P94 has created (was created by) E28 Conceptual Object CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume ) P10 falls within (contains) E92 Spacetime Volume CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume ) P132 overlaps with E92 Spacetime Volume CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume ) P133 is separated from E92 Spacetime Volume CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume ) P160 has temporal projection (is temporal projection of) E52 Time-Span CIDOC CRM version 6.2
D3 Formal Derivation (is a E92 Spacetime Volume ) P161 has spatial projection (is spatial projection of) E53 Place CIDOC CRM version 6.2
D3 Formal Derivation (is a D7 Digital Machine Event ) L10 had input (was input of) D1 Digital Object CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event ) L11 had output (was output of) D1 Digital Object CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event ) L12 happened on device (was device for) D8 Digital Device CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event ) L18 has modified (was modified by) D13 Digital Information Carrier CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event ) L23 used software or firmware (was software or firmware used by) D14 Software CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event ) L31 has starting date-time (was starting date-time of) E61 Time Primitive CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event ) L32 has ending date-time (was ending date-time of) E61 Time Primitive CRMdig version 3.2
D3 Formal Derivation (is a D7 Digital Machine Event ) L61 was ongoing at E61 Time Primitive CRMdig version 3.2
D3 Formal Derivation (is a D10 Software Execution ) L2 used as source (was source for) D1 Digital Object CRMdig version 3.2
D3 Formal Derivation (is a D10 Software Execution ) L13 used parameters (parameters for) D1 Digital Object CRMdig version 3.2
D3 Formal Derivation (is a D10 Software Execution ) L24 created logfile (was logfile created by) D1 Digital Object CRMdig version 3.2

Incoming properties (this class is range)

Domain Property identifier Range Namespace

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E1 CRM Entity P10 time-independent entity association D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
E1 CRM Entity P18 is identifying component of range class (range class has identity defining component) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
E1 CRM Entity P2 domain class has identity defining component (is identity defining component of domain class) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
E2 Temporal Entity P1 involves D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
E2 Temporal Entity P114 is equal in time to D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P115 finishes (is finished by) D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P116 starts (is started by) D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P117 occurs during (includes) D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P118 overlaps in time with (is overlapped in time by) D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P119 meets in time with (is met in time by) D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P120 occurs before (occurs after) D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM version 6.2
E2 Temporal Entity P5 is component of (has component) D3 Formal Derivation (is a E2 Temporal Entity) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
E4 Period P9 consists of (forms part of) D3 Formal Derivation (is a E4 Period) CIDOC CRM version 6.2
E7 Activity P134 continued (was continued by) D3 Formal Derivation (is a E7 Activity) CIDOC CRM version 6.2
E7 Activity P15 was influenced by (influenced) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P17 was motivated by (motivated) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P20 had specific purpose (was purpose of) D3 Formal Derivation (is a E5 Event) CIDOC CRM version 6.2
E13 Attribute Assignment P140 assigned attribute to (was attributed by) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E13 Attribute Assignment P141 assigned (was assigned by) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E16 Measurement P39 measured (was measured by) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E17 Type Assignment P41 classified (was classified by) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E24 Physical Man-Made Thing P62 depicts (is depicted by) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E31 Document P70 documents (is documented in) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E32 Authority Document P71 lists (is listed in) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E36 Visual Item P138 represents (has representation) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E83 Type Creation P136 was based on (supported type creation) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P129 is about (is subject of) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P67 refers to (is referred to by) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM version 6.2
E92 Spacetime Volume P10 falls within (contains) D3 Formal Derivation (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E92 Spacetime Volume P132 overlaps with D3 Formal Derivation (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E92 Spacetime Volume P133 is separated from D3 Formal Derivation (is a E92 Spacetime Volume) CIDOC CRM version 6.2
E93 Presence P166 was a presence of (had presence) D3 Formal Derivation (is a E92 Spacetime Volume) CIDOC CRM version 6.2
F29 Recording Event R20 recorded (was recorded through) D3 Formal Derivation (is a E2 Temporal Entity) FRBRoo version 2.4
F35 Nomen Use Statement R38 refers to thema (is thema of) D3 Formal Derivation (is a E1 CRM Entity) FRBRoo version 2.4
F40 Identifier Assignment R45 assigned to (was assigned by) D3 Formal Derivation (is a E1 CRM Entity) FRBRoo version 2.4
F51 Pursuit R59 had typical subject (was typical subject of) D3 Formal Derivation (is a E1 CRM Entity) FRBRoo version 2.4
F52 Name Use Activity R63 named (was named by) D3 Formal Derivation (is a E1 CRM Entity) FRBRoo version 2.4
C19 Persistent item life P24 life was initiated by (initiated life) D3 Formal Derivation (is a E63 Beginning of Existence) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
C11 Appellation in a Language P11 is appellation for language of (has appellation for language) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
D2 Digitization Process L60 documents D3 Formal Derivation (is a E1 CRM Entity) CRMdig version 3.2
D29 Annotation Object L43 annotates (is annotated by) D3 Formal Derivation (is a E1 CRM Entity) CRMdig version 3.2
C15 Participation P11 is participation in D3 Formal Derivation (is a E5 Event) Social, legal and economic life (SDHSS) ongoing
C25 Intentional Collective P36 has manifestation in (is manifestation of) D3 Formal Derivation (is a E4 Period) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
C27 Intentional Situation P44 is intention about (is concerned by) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
C30 Connotation P39 is social connotation of (has social connotation) D3 Formal Derivation (is a E1 CRM Entity) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing
C23 Identification P18 is identification of (has identification) D3 Formal Derivation (is a E1 CRM Entity) SDHSS CIDOC CRM supplement – ongoing
C42 Intentional Event P43 has setting (is setting for) D3 Formal Derivation (is a E5 Event) CIDOC CRM Top-Level Extension for Humanities and Social sciences (SDHSS) – ongoing

Profiles using this class

Label Version Status Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments