Task: Class Definition Understanding (ontology: Arts_Media_Entertainment/CIDOC_CRM)

Which of the following definitions best describes 'E83 Type Creation'?

A. Scope note:
This class comprises instances of E7 Activity that are undertaken to create, alter or change instances of E24 Physical Human-Made Thing.
This class includes the production of an item from raw materials and other so far undocumented objects. It also includes the conservation treatment of an object.
Since the distinction between the concept and production is not always clear, the concept is regarded as the more generally applicable concept. This implies that some items may be consumed or destroyed in an instance of the concept, and that others may be produced as a result of it. An event should also be documented using an instance of E81 Transformation if it results in the destruction of one or more objects and the simultaneous production of others using parts or material from the originals. In this case, the new items have separate identities.
An activity undertaken on an object which was designed to alter it, but which, in fact, it did not in any seemingly significant way (such as the application of a solvent during conservation which failed to dissolve any part of the object), is still considered as an instance of the concept. Typically, any such activity will leave at least forensic traces of evidence on the object.
If the instance of E29 Design or Procedure utilized for the the concept prescribes the use of specific materials, they should be documented using property P68 foresees use of (use foreseen by): E57 Material of E29 Design or Procedure, rather than via P126 employed (was employed in): E57 Material.

Examples:
- the construction of the SS Great Britain (E12) (Gregor, 1971)
- the impregnation of the Vasa warship in Stockholm for preservation after 1956 (Håfors, 2010)
- the transformation of the Enola Gay into a museum exhibit by the National Air and Space Museum in Washington DC between 1993 and 1995 (E12, E81) (Yakel, 2000)
- the last renewal of the gold coating of the Toshogu shrine in Nikko, Japan (Cali and Dougil, 2012)

In First Order Logic:
- E11(x) ⇒ E7(x)
B. Scope note:
This class comprises activities formally defining new types of items. 
It is typically a rigorous scholarly or scientific process that ensures a type is exhaustively described and appropriately named. In some cases, particularly in archaeology and the life sciences, the concept requires the identification of an exemplary specimen and the publication of the type definition in an appropriate scholarly forum. The activity modelled as an instance of the concept is central to research in the life sciences, where a type would be referred to as a “taxon,” the type description as a “protologue,” and the exemplary specimens as “original element” or “holotype”.

Examples:
- creation of the taxon Penicillium brefeldianum (Dodge, 1933)
- addition of class E85 Joining to the CIDOC CRM

In First Order Logic:
- E83(x) ⇒ E65(x)
C. Scope note:
This class comprises strings or codes assigned to instances of E1 CRM Entity in order to identify them uniquely and permanently within the context of one or more organisations. Such codes are often known as inventory numbers, registration codes, etc. and are typically composed of alphanumeric sequences. Postal addresses, telephone numbers, URLs and e-mail addresses are characteristic examples of identifiers used by services transporting things between clients.
The class the concept is not normally used for machine-generated identifiers used for automated processing unless these are also used by human agents.

Examples:
- “MM.GE.195”
- “13.45.1976”
- “OXCMS: 1997.4.1” (fictitious)
- “ISSN 0041-5278” [the concept for “The UNESCO Courier (Print)”]
- ISRC “FIFIN8900186” [the concept for : Kraft (29 min 14 s) / Magnus Lindberg, comp. ; Toimii Ensemble ; Swedish Radio symphony orchestra ; Esa-Pekka Salonen, dir.]
- Shelf mark “Res 8 P 10” 
- “Guillaume de Machaut (1300?-1377)” [a controlled personal name heading that follows the French rules] (Reaney, 1974)
- “+41 22 418 5571”
- “ weasel@paveprime.com”
- “Rue David Dufour 5, CH-1211, Genève”
- “1-29-3 Otsuka, Bunkyo-ku, Tokyo, 121, Japan”

In First Order Logic:
- E42(x) ⇒ E41(x)
D. Scope note:
This class comprises identifiable symbols and any aggregation of symbols, such as characters, identifiers, traffic signs, emblems, texts, data sets, images, musical scores, multimedia objects, computer program code, or mathematical formulae that have an objectively recognizable structure and that are documented as single units.
It includes sets of signs of any nature, which may serve to designate something, or to communicate some propositional content. An instance of the concept may or may not have a specific meaning, for example an arbitrary character string.
In some cases, the content of an instance of the concept may completely be represented by a serialized digital content model, such as a sequence of ASCII-encoded characters, an XML or HTML document, or a TIFF image. The property P3 has note and its subproperty P190 has symbolic content allow for the description of this content model. In order to disambiguate which symbolic level is the carrier of the meaning, the property P3.1 has type can be used to specify the encoding (e.g. “bit”, “Latin character”, RGB pixel).

Examples:
- ‘ecognizabl’
- the “no-smoking” sign (E36)
- “BM000038850.JPG” (E41) [identifies a digital image] (Natural History Museum, 2021)
- image BM000038850.JPG from the Clayton Herbarium in London (E36) [depicts specimen of Verbesina virginica] (Natural History Museum, 2021)
- the distribution of form, tone and colour found on Leonardo da Vinci’s painting named “Mona Lisa” in daylight (E36)
- the Italian text of Dante’s “Divina Commedia” as found in the authoritative critical edition “La Commedia secondo l’antica vulgata a cura di Giorgio Petrocchi” (E33) (Petrocchi, 1967)

In First Order Logic:
- E90(x) ⇒ E28(x)
- E90(x) ⇒ E72(x)

Answer: Scope note:
This class comprises activities formally defining new types of items. 
It is typically a rigorous scholarly or scientific process that ensures a type is exhaustively described and appropriately named. In some cases, particularly in archaeology and the life sciences, the concept requires the identification of an exemplary specimen and the publication of the type definition in an appropriate scholarly forum. The activity modelled as an instance of the concept is central to research in the life sciences, where a type would be referred to as a “taxon,” the type description as a “protologue,” and the exemplary specimens as “original element” or “holotype”.

Examples:
- creation of the taxon Penicillium brefeldianum (Dodge, 1933)
- addition of class E85 Joining to the CIDOC CRM

In First Order Logic:
- E83(x) ⇒ E65(x)