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

Which of the following definitions best describes 'E89 Propositional Object'?

A. Scope note:
This class comprises immaterial items, including but not limited to stories, plots, procedural prescriptions, algorithms, laws of physics or images that are, or represent in some sense, sets of propositions about real or imaginary things and that are documented as single units or serve as topic of discourse. 
This class also comprises items that are “about” something in the sense of a subject. In the wider sense, this class includes expressions of psychological value such as non-figural art and musical themes. However, conceptual items such as types and classes are not instances of the concept. This should not be confused with the definition of a type, which is indeed an instance of the concept.

Examples:
- Maxwell’s Equations (Ball, 1962)
- the ideational contents of Aristotle’s book entitled ‘Metaphysics’ as rendered in the Greek texts translated in Oxford edition
- the underlying prototype of any “no-smoking” sign (E36)
- the common ideas of the plots of the movie “The Seven Samurai” by Akira Kurosawa and the movie “The Magnificent Seven” by John Sturges (Mellen, 2002)
- the image content of the photo of the Allied Leaders at Yalta published by UPI, 1945 (E36)
- the character “Little Red Riding Hood”, variants of which appear amongst others in Grimm brothers’ “Rotkäppchen”, other oral fairy tales and the film “Hoodwinked”
- the place “Havnor” as invented by Ursula K. Le Guin for her “Earthsea” book series, the related maps and appearing in derivative works based on these novels

In First Order Logic:
- E89(x) ⇒ E28(x)
B. Scope note:
This class comprises concepts denoted by terms from thesauri and controlled vocabularies used to characterize and classify instances of CIDOC CRM classes. Instances of the concept represent concepts, in contrast to instances of E41 Appellation which are used to name instances of CIDOC CRM classes. 
the concept provides an interface to domain specific ontologies and thesauri. These can be represented in the CIDOC CRM as subclasses of the concept, forming hierarchies of terms, i.e. instances of the concept linked via P127 has broader term (has narrower term): the concept. Such hierarchies may be extended with additional properties.

Examples:
- weight, length, depth [types for instances of E54 Dimension]
- portrait, sketch, animation [types for instances of E36 Visual Item]
- French, English, German [types for instances of E56 Language]
- excellent, good, poor [types for instances of E3 Condition State]
- Ford Model T, chop stick [types for instances of E22 Human-Made Object]
- cave, doline, scratch [types for instances of E26 Physical Feature]
- poem, short story [types for instances of E33 Linguistic Object]
- wedding, earthquake, skirmish [types for instances of E5 Event]

In First Order Logic:
- E55(x) ⇒ E28(x)
C. Scope note:
This class comprises legal privileges concerning material and immaterial things or their derivatives. 
These include reproduction and property rights.

Examples:
- copyright held by ISO on ISO/CD 21127
- ownership of the “Mona Lisa” by the museum of the Louvre, Paris, France

In First Order Logic:
- E30(x) ⇒ E89(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 immaterial items, including but not limited to stories, plots, procedural prescriptions, algorithms, laws of physics or images that are, or represent in some sense, sets of propositions about real or imaginary things and that are documented as single units or serve as topic of discourse. 
This class also comprises items that are “about” something in the sense of a subject. In the wider sense, this class includes expressions of psychological value such as non-figural art and musical themes. However, conceptual items such as types and classes are not instances of the concept. This should not be confused with the definition of a type, which is indeed an instance of the concept.

Examples:
- Maxwell’s Equations (Ball, 1962)
- the ideational contents of Aristotle’s book entitled ‘Metaphysics’ as rendered in the Greek texts translated in Oxford edition
- the underlying prototype of any “no-smoking” sign (E36)
- the common ideas of the plots of the movie “The Seven Samurai” by Akira Kurosawa and the movie “The Magnificent Seven” by John Sturges (Mellen, 2002)
- the image content of the photo of the Allied Leaders at Yalta published by UPI, 1945 (E36)
- the character “Little Red Riding Hood”, variants of which appear amongst others in Grimm brothers’ “Rotkäppchen”, other oral fairy tales and the film “Hoodwinked”
- the place “Havnor” as invented by Ursula K. Le Guin for her “Earthsea” book series, the related maps and appearing in derivative works based on these novels

In First Order Logic:
- E89(x) ⇒ E28(x)