Quantification: many to one (0,1:0,n)

Scope note:
This property associates an instance of E52 Time-Span with a note detailing the scholarly or scientific opinions and justifications about the end of this time-span concerning certainty, precision, sources etc. This property may also be used to describe arguments constraining possible dates and to distinguish reasons for alternative dates.

Examples:
- The time-span of the Holocene (E52) end is qualified by “still ongoing” (E62). (Walker et al., 2009)

In First Order Logic:
- P80(x,y) ⇒ E52(x)
- P80(x,y) ⇒ E62(y)
- P80(x,y) ⇒ P3(x,y)


Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E55 Type “A” with an instance of E55 Type “B”, when items of type “A” typically form part of items of type “B”, such as “car motors” and “cars”.
It allows types to be organised into hierarchies based on one type describing a typical part of another. This property is equivalent to “broader term partitive (BTP)” as defined in ISO 2788 and “broaderPartitive” in SKOS.
This property is not transitive. This property is asymmetric.

Examples:
- car motors (E55) defines typical parts of cars (E55). (fictitious)

In First Order Logic:
- P150(x,y) ⇒ E55(x)
- P150(x,y) ⇒ E55(y)
- P150(x,y) ⇒ ¬P150(y,x)


P62 απεικονίζει


E36 Οπτικό Στοιχείο


Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property identifies an origin, an instance of E53 Place, of an instance of E9 Move.
A move will be linked to an origin, such as the move of an artifact from storage to display. A move may be linked to many starting instances of E53 Place by multiple instances of this property. In this case the move describes the picking up of a set of objects. The area of the move includes the origin(s), route and destination(s).
Therefore, the described origin is an instance of E53 Place which P89 falls within (contains) the instance of E53 Place the move P7 took place at.

Examples:
- The movement of the exhibition “Tutankhamun: Treasures of the Golden Pharaoh” between 15(th) September and 2(nd) November 2019 (E9) moved from Paris, Grande Halle de la Villette (E53).

In First Order Logic:
- P27(x,y) ⇒ E9(x)
- P27(x,y) ⇒ E53(y)
- P27(x,y) ⇒ (∃z) [E53(z) ∧ P7(x,z) ∧ P89(y,z)]


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property records the dimension that was observed in an E16 Measurement Event.
E54 Dimension can be any quantifiable aspect of E70 Thing. Weight, image colour depth and monetary value are dimensions in this sense. One measurement activity may determine more than one dimension of one object.
Dimensions may be determined either by direct observation or using recorded evidence. In the latter case the measured Thing does not need to be present or extant.
Even though knowledge of the value of a dimension requires measurement, the dimension may be an object of discourse prior to, or even without, any measurement being made.

Examples of the inverse property:
- The measurement of the height of silver cup 232 on 31(st) August 1997 (E16) observed dimension silver cup 232 height (E54). [which has unit mm (E58), has value 224 (E60)] (fictitious)
- The carbon 14 dating of the “Schoeninger Speer II” in 1996 (E16) observed dimension the carbon 14 based temporal distance from 1996 to the growth of the wood of the “Schoeninger Speer II” (E60). [The carbon 14 dating of an approximately 400.000 year old complete Old Palaeolithic wooden spear found in Schoeningen, Niederachsen, Germany, in 1995. See also: E16 Measurement.] (Kouwenhoven, 1997)

In First Order Logic of the inverse property:
- P40(x,y) ⇒ E16(x)
- P40(x,y)⇒ E54(y)
- P40(x,y) ⇒ P141(x,y)


Scope note:
This class comprises the deaths of human beings.
If a person is killed, their death should be instantiated as E69 Death and as E7 Activity. The death or perishing of other living beings should be documented as instances of E64 End of Existence.

Examples:
- the murder of Julius Caesar (E69, E7) (Irwin, 1935)
- the death of Senator Paul Wellstone (Monast and Tao, 2002)

In First Order Logic:
- E69(x) ⇒ E64(x)


P101 είχε ως γενική χρήση


P103 προοριζόταν για


P125 использовал объект типа


P46 составлен из


Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E13 Attribute Assignment with the instance of E1 CRM Entity used in the attribution. The instance of E1 CRM Entity here plays the role of the range of the attribution.
The kind of attribution made should be documented using P177 assigned property of type (is type of property assigned).

Examples:
- The Current Ownership Assessment of Martin Doerr’s silver cup February 1997 (E13) assigned Martin Doerr (E21). (fictitious)
- The Identifier Assignment on 1(st) June 1997 of the silver cup donated by Martin Doerr (E15) assigned 232 (E42). (fictitious)
- The examination of MS Sinai Greek 418 (E13) assigned unsupported (E55.) (Honey & Pickwoad, 2010)

In First Order Logic:
- P141(x,y) ⇒ E13(x)
- P141(x,y) ⇒ E1(y)


P40 παρατηρήθηκε από


P49 ist früherer oder derzeitiger Betreuer von


Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E55 Type with another instance of E55 Type that has a broader meaning.
It allows instances of E55 Types to be organised into hierarchies. This is the sense of “broader term generic (BTG)” as defined in ISO 25964-2:2013 (International Organization for Standardization 2013).
This property is transitive. This property is asymmetric.

Examples:
- dime (E55) has broader term coin (E55). (Yerkes, 1989)

In First Order Logic:
- P127(x,y) ⇒ E55(x)
- P127(x,y) ⇒ E55(y)
- [P127(x,y) ∧ P127(y,z)] ⇒ P127(x,z)
- P127(x,y) ⇒ ¬P127(y,x)


Quantification: many to many (0,n:0,n)

Scope note:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(end) < B(end )is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, starts, during}.
This property is transitive. This property is asymmetric.

https://cidoc-crm.org/html/version_images/images_7.1.3/image_15.png

Figure 22: Temporal entity A ends before the end of temporal entity B. Here A is longer than B

https://cidoc-crm.org/html/version_images/images_7.1.3/image_16.png

Figure 23: Temporal entity A ends before the end of temporal entity B. Here A is shorter than B

Examples:
- Godstow Abbey, Oxfordshire as a working abbey (E4 Period) ends before the end of the reign of Henry VIII (E4 Period).

In First Order Logic:
- P185(x,y) ⇒ E2(x)
- P185(x,y) ⇒ E2(y)
- P185(x,y) ⇒ P184(x,y)
- [P185(x,y) ∧ P185(y,z)] ⇒ P185(x,z)P185(x,y) ⇒ ¬P185(y,x)


P107 είναι ή ήταν μέλος του/της


P82b τέλος του τέλους


P79 αρχή προσδιορίζεται από


E42 Κωδικός Αναγνώρισης


P54 hat derzeitigen permanenten Standort


P19 был создан для


E65 Событие Творения


P129 является предметом для


Quantification of the inverse property: one to many, necessary, dependent (1,n:1,1)

Scope note of the inverse property:
This property associates the instance of E66 Formation with the instance of E74 Group that it founded.

Examples of the inverse property:
- The formation of the CIDOC CRM SIG at the August 2000 CIDOC Board meeting (E66) has formed the CIDOC CRM Special Interest Group (E74).

In First Order Logic of the inverse property:
- P95(x,y) ⇒ E66(x)
- P95(x,y) ⇒ E74(y)
- P95(x,y) ⇒ P92(x,y)


P86 περιέχεται σε


P107 有当前或以往成员


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies the instance of E74 Group of which an instance of E39 Actor becomes a member through an instance of E85 Joining.
Although a joining activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which becoming member of one Group implies becoming member of another Group as well.
Joining events allow for describing people becoming members of a group with a more detailed path from E74 Group through, P144i gained member by, E85 Joining, P143 joined, E39 Actor, compared to the shortcut offered by P107 has current or former member (is current or former member of).
The property P144.1 kind of member can be used to specify the type of membership or the role the member has in the group.

Examples of the inverse property:
- The election of Sir Isaac Newton as Member of Parliament to the Convention Parliament of 1689 (E85) joined with the Convention Parliament (E74). (Iliffe, 2013)
- The inauguration of Mikhail Sergeyevich Gorbachev as Leader of the Union of Soviet Socialist Republics (USSR) in 1985 (E85) joined with the office of Leader of the Union of Soviet Socialist Republics (USSR) (E74) kind of member President (E55). (Galeotti, 1997)
- The implementation of the membership treaty 1(st) January 1973 between EU and Denmark (E85) joined with EU (E74).

In First Order Logic of the inverse property:
- P144(x,y) ⇒ E85(x)
- P144(x,y)⇒ E74(y)
- P144(x,y,z) ⇒ [P144(x,y) ∧ E55(z)]
- P144(x,y) ⇒ P11(x,y)


Quantification: many to one, necessary (1,1:0,n)

Scope note:
This property associates an instance of E16 Measurement with the instance of E18 Physical Thing upon which it acted. The instance of E16 Measurement is specific to the measured object. An instance of E18 Physical Thing may be measured more than once with different results, constituting different instances of E16 Measurement.

Examples:
- The measurement of the height of silver cup 232 on 31(st) August 1997 (E16) measured silver cup 232 (E22). (fictitious)
- The carbon 14 dating of the “Schoeninger Speer II” in 1996 (E16) measured the “Schoeninger Speer II” (E22). [The carbon 14 dating of an approximately 400.000 year old complete Old Palaeolithic wooden spear found in Schoeningen, Niedersachsen, Germany, in 1995. See also, E16 Measurement.] (Kouwenhoven, 1997)

In First Order Logic:
- P39(x,y) ⇒ E16(x)
- P39(x,y) ⇒ E18(y)
- P39(x,y) ⇒ P140(x,y)


Quantification of the inverse property: many to many (1,n:0,n)

Scope note of the inverse property:
This property establishes the relationship between an instance of E96 Purchase and the instance of E97 Monetary Amount that forms the compensation for the transaction. The monetary amount agreed upon may change in the course of the purchase activity.

Examples of the inverse property:
- The sale of Vincent van Gogh’s “Still Life: Vase with Fifteen Sunflowers” 30(th) March 1987 (E96) had sales price Christie’s hammer price for “Still Life: Vase with Fifteen Sunflowers” (E97).
- The purchase of 10 okka of nails by the captain A. Syrmas on 18(th) September 1895 (E96) had sales price 20 piastre (grosi) (E97). (Syrmas, 1896)

In First Order Logic of the inverse property:
- P179(x,y) ⇒ E96(x)
- P179(x,y) ⇒ E97(y)


P86 содержит


P46 αποτελεί μέρος του/της


Quantification: one to many (0,n:0,n)

Scope note:
This property relates one instance of E18 Physical Thing which acts as a container or support to a supported or contained instance of E18 Physical Thing. Typical examples of E18 Physical Things which are intended to function as a container or support include shelves, folders or boxes. These containers or supports provide a stable surface which is intended for other physical objects to be placed upon for storage, display, transport or other similar functions.
This property is a shortcut of the more fully developed path from E18 Physical Thing through P59 has section, E53 Place, P53i is former or current location of, to E18 Physical Thing. It is not a sub-property of P46 is composed of, as the held or supported object is not a component of the container or support.
This property can be used to avoid explicitly instantiating the E53 Place which is defined by an instance of E18 Physical Thing, especially when the only intended use of that instance of E18 Physical Thing is to act as a container or surface for the storage of other instances of E18 Physical Thing. The place’s existence is defined by the existence of the container or surface, and will go out of existence at the same time as the destruction of the container or surface.
This property is transitive. This property is asymmetric.

Examples:
- Archival folder “6” (E22) holds or supports the piece of paper carrying the text of a letter from Lawrence Alloway to Sylvia Sleigh (E22).
- [ http://archives2.getty.edu:8082/xtf/view?docId=ead/2003.M.46/2003.M.46.xml;chunk.id=aspace_ref12_kf7;brand=default]
- Archival folder "17" (E22) holds or supports the daguerreotype that shows the image of Henry Ward Beecher as a young man (E22).
- [ https://archives.yale.edu/repositories/12/archival_objects/1402266]
- Box "88" (E22) holds or supports folder "17" (E22). [ https://archives.yale.edu/repositories/12/archival_objects/1402266]
- Bookshelf “GRI-708.1” (E22) holds or supports the book entitled “Catalog of Paintings in the J. Paul Getty Museum” (E22). (Potts, 2015)

In First Order Logic:
- P198(x,y) ⇒ E18(x)
- P198(x,y) ⇒ E18(y)
- [P198(x,y) ∧ P198(y,z)] ⇒ P198(x,z)
- [P198(x,y) ∧ P198(z,y)] ⇒ [P198(x,z) ˅ P198(z,x)]
- P198(x,y) ⇐ (∃z) [E53(z) ˄ P59(x,z) ˄ P53i(z,y)]
- P198(x,y) ⇒ ¬P198(y,x)


Quantification: many to many (0,n:0,n)

Scope note:
This property identifies something that is depicted by an instance of E24 Physical Human-Made Thing. Depicting is meant in the sense that an instance of E24 Physical Human-Made Thing intentionally shows, through its optical qualities or form, a representation of the entity depicted. Photographs are by default regarded as being intentional in this sense. Anything that is designed to change the properties of the depiction, such as an e-book reader, is specifically excluded. The property does not pertain to inscriptions or any other information encoding.
This property is a shortcut of the more fully developed path from E24 Physical Human-Made Thing through P65 shows visual item, E36 Visual Item, P138 represents to E1 CRM Entity. P62.1 mode of depiction allows the nature of the depiction to be refined.

Examples:
- The painting “La Liberté guidant le peuple” by Eugène Delacroix (E22) depicts the French “July Revolution” of 1830 (E7). (Delacroix, 1982)
- The 20 pence coin held by the Department of Coins and Medals of the British Museum under registration number 2006,1101.126 (E22) depicts Queen Elizabeth II (E21) mode of depiction Profile (E55).

Properties:
- P62.1 mode of depiction: E55 Type

In First Order Logic:
- P62(x,y) ⇒ E24(x)
- P62(x,y) ⇒ E1(y)
- P62(x,y,z) ⇒ [P62(x,y) ∧ E55(z)]
- P62(x,y) ⇐ (∃z) [E36(z) ˄ P65(x,z) ˄ P138(z,y)]


Scope note:
This class comprises transfers of the physical custody or the legal responsibility for the physical custody of objects. The recording of the donor or recipient is optional. It is possible that in an instance of E10 Transfer of Custody there is either no donor or no recipient.
Depending on the circumstances, it may describe:
1. the beginning of custody (there is no previous custodian)
2. the end of custody (there is no subsequent custodian)
3. the transfer of custody (transfer from one custodian to the next)
4. the receipt of custody from an unknown source (the previous custodian is unknown)
5. the declared loss of an object (the current or subsequent custodian is unknown)
In the event that only a single kind of transfer of custody occurs, either the legal responsibility for the custody or the actual physical possession of the object but not both, this difference should be expressed using the property
P2 has type (is type of).
The sense of physical possession requires that the object of custody be in the hands of the keeper at least with a part representative for the whole. The way, in which a representative part is defined, should ensure that it is unambiguous who keeps a part and who the whole and should be consistent with the identity criteria of the kept instance of E18 Physical Thing.
The interpretation of the museum notion of "accession" differs between institutions. The CIDOC CRM therefore models legal ownership and physical custody separately. Institutions will then model their specific notions of accession and deaccession as combinations of these.
Theft is a specific case of illegal transfer of custody.

Examples:
- the delivery of the paintings by Secure Deliveries Inc. to the National Gallery
- the return of Picasso’s “Guernica” to Madrid’s Prado in 1981 (Chipp, 1988)
- the transfer of custody of the work described as “Von der Velden ein Ufer an der See” from Johann Matthäus von Merian to the Auction House Heldevier (Jacob) for the purpose of sale, ca. 1716
- the transfer of custody of the painting ‘Mrs. Fitzherbert’ to the art dealer Knoedler from Parke-Bernet Galleries (New York, NY, USA) ca. March 1941

In First Order Logic:
- E10(x) ⇒ E7(x)


Quantification of the inverse property: one to many, necessary (1,n:0,1)

Scope note of the inverse property:
This property links an instance of E69 Death to the instance of E21 Person that died.
An instance of E69 Death may involve multiple people, for example in the case of a battle or disaster.
This is not intended for use with general natural history material, only people.

Examples of the inverse property:
- Mozart’s death (E69) was death of Mozart (E21). (Sitwell, 2017)

In First Order Logic of the inverse property:
- P100(x,y) ⇒ E69(x)
- P100(x,y) ⇒ E21(y)
- P100(x,y) ⇒ P93(x,y)


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies a destination, an instance of E53 Place, of an instance of E9 Move.
A move will be linked to a destination, such as the move of an artifact from storage to display. A move may be linked to many terminal instances of E53 Place by multiple instances of this property. In this case the move describes a distribution of a set of objects. The area of the move includes the origin(s), route and destination(s).
Therefore, the described destination is an instance of E53 Place which P89 falls within (contains) the instance of E53 Place the move P7 took place at.

Examples of the inverse property:
- The movement of the exhibition “Tutankhamun: Treasures of the Golden Pharaoh” between 15(th) September and 2(nd) November 2019 (E9) moved to the Saatchi Gallery London (E53).

In First Order Logic of the inverse property:
- P26(x,y) ⇒ E9(x)
- P26(x,y) ⇒ E53(y)
- P26(x,y) ⇒ (∃z) [E53(z) ∧ P7(x,z) ∧ P89(y,z)]


P43 является величиной для


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies the instance of E39 Actor who assumed or has assumed overall curatorial responsibility for an instance of E78 Curated Holding.
It does not allow a history of curation to be recorded. This would require use of an event initiating a curator being responsible for a collection.

Examples of the inverse property:
- The Robert Opie Collection (E78) has current or former curator Robert Opie (E21). (https://www.robertopiecollection.com/)
- The Mikael Heggelund Foslie’s coralline red algae Herbarium (E78) has current or former curator Mikael Heggelund Foslie (E21). (Woelkerling et al., 2005)

In First Order Logic of the inverse property:
- P109(x,y) ⇒ E78(x)
- P109(x,y) ⇒ E39(y)
- P109(x,y) ⇒ P49(x,y)


Scope note:
This class comprises encyclopaedia, thesauri, authority lists and other documents that define terminology or conceptual systems for consistent use.

Examples:
- Webster's Dictionary (Herbert, 1994)
- Getty Art and Architecture Thesaurus (Getty Trust, 1990)
- the CIDOC Conceptual Reference Model (Gergatsoulis et al., 2010)

In First Order Logic:
- E32(x) ⇒ E31(x)


P109 είναι ή ήταν επιμελητής του/της


Scope note:
This class comprises all signs, either meaningful or not, or arrangements of signs following a specific syntax, that are used or can be used to refer to and identify a specific instance of some class within a certain context.
Instances of E41 Appellation do not identify things by their meaning, even if they happen to have one, but by convention, tradition, or agreement. Instances of E41 Appellation are cultural constructs; as such, they have a context, a history, and a use in time and space by some group of users. A given instance of E41 Appellation can have alternative forms, i.e. other instances of E41 Appellation that are regarded as equivalent, regardless of the thing it denotes.
Different languages may use different appellations for the same thing, such as the names of major cities. Some appellations may be formulated using a valid noun phrase of a particular language. In these cases, the respective instances of E41 Appellation should also be declared as instances of E33 Linguistic Object. Then the language using the appellation can be declared with the property P72 has language: E56 Language.
Instances of E41 Appellation may be used to identify any instance of E1 CRM Entity and sometimes are characteristic for instances of more specific subclasses of E1 CRM Entity, such as for instances of E52 Time-Span (for instance “dates”), E39 Actor, E53 Place or E28 Conceptual Object. Postal addresses and E-mail addresses are characteristic examples of identifiers used by services transporting things between clients.
Even numerically expressed identifiers for extents in space or time are also regarded as instances of E41 Appellation, such as Gregorian dates or spatial coordinates, even though they allow for determining some time or location by a known procedure starting from a reference point and by virtue of that fact play a double role as instances of E59 Primitive Value.
E41 Appellation should not be confused with the act of naming something. Cf. E15 Identifier Assignment.

Examples:
- “Martin”
- “Aquae Sulis Minerva”
- “the Merchant of Venice” (E35) (McCullough, 2005)
- “Spigelia marilandica (L.) L.” [not the species, just the name] (Hershberger, Robacker and Jenkins, 2015)
- “information science” [not the science itself, but the name used to refer to the subject matter in an English-speaking context]
- “安” [Chinese “an”, meaning “peace”]
- “6°5’29”N 45°12’13”W” [example of a spatial coordinate]
- “Black queen’s bishop 4” [chess coordinate, example of an identifier in a conceptual space (E89)]
- “19-MAR-1922” [example of date]
- “+41 22 418 5571” [example of contact point]
- “weasel@paveprime.com” [example of contact point]
- “CH-1211, Genève” [example of place appellation]
- “1-29-3 Otsuka, Bunkyo-ku, Tokyo, 121, Japan” [example of a postal address]
- “the poop deck of H.M.S Victory” [example of a section definition on a human-made object (E22)]
- “the Venus de Milo’s left buttock” [example of a section definition on a human-made object (E22)]

In First Order Logic:
- E41(x) ⇒ E90(x)


P106 формирует часть


P82 некоторое время в течение


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates an instance of E73 Information Object with an instance of E90 Symbolic Object (or any of its subclasses) that was included in it.
This property makes it possible to recognise the autonomous status of the incorporated signs, which were created in a distinct context, and can be incorporated in many instances of E73 Information Object, and to highlight the difference between structural and accidental whole-part relationships between conceptual entities.
It accounts for many cultural facts that are quite frequent and significant: the inclusion of a poem in an anthology, the re-use of an operatic aria in a new opera, the use of a reproduction of a painting for a book cover or a CD booklet, the integration of textual quotations, the presence of lyrics in a song that sets those lyrics to music, the presence of the text of a play in a movie based on that play, etc.
In particular, this property allows for modelling relationships of different levels of symbolic specificity, such as the natural language words making up a particular text, the characters making up the words and punctuation, the choice of fonts and page layout for the characters.
When restricted to information objects, that is, seen as a property with E73 Information Object as domain and range the property is transitive.
A digital photograph of a manuscript page incorporates the text of a manuscript page, if the respective text is defined as a sequence of symbols of a particular type, such as Latin characters, and the resolution and quality of the digital image is sufficient to resolve these symbols so they are readable on the digital image.
This property is asymmetric.

Examples of the inverse property:
- The content of Charles-Moïse Briquet’s ‘Les Filigranes: dictionnaire historique des marques du papier’ (E32) incorporates the visual aspect of the watermark used around 1358-61 by some Spanish papermaker(s) and identified as ‘Briquet 4019’ (E37). (Briquet, 1985)
- The visual content of Jacopo Amigoni’s painting known as ‘The Singer Farinelli and friends’ (E36) incorporates the musical notation of Farinelli’s musical work entitled ‘La Partenza’ (E73). (National Gallery of Victoria)
- The visual content of Nicolas Poussin’s painting entitled ‘Les Bergers d’Arcadie’ (E36) incorporates the Latin phrase ‘Et in Arcadia ego’ (E33). (Wikipedia, 2020)

In First Order Logic of the inverse property:
- P165(x,y) ⇒ E73(x)
- P165(x,y) ⇒ E90(y)
- P165(x,y) ⇒ P106(x,y)
- P165(x,y) ⇒ ¬P165(y,x)


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies an instance of E19 Physical Object that was moved by an instance of E9 Move. A move must concern at least one object.
The property implies the object’s passive participation. For example, Monet’s painting “Impression sunrise” was moved for the first Impressionist exhibition in 1874.

Examples of the inverse property:
- Monet´s “Impression sunrise” (E22) moved by preparations for the First Impressionist Exhibition (E9).

In First Order Logic of the inverse property:
- P25(x,y) ⇒ E9(x)
- P25(x,y) ⇒ E19(y)
- P25(x,y) ⇒ P12(x,y)


P10 εμπίπτει


E57 Материал


P33 χρησιμοποιήθηκε για


P123 повлек появление


P76 предоставляет доступ к


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates two instances of E7 Activity, where the domain is considered as an intentional continuation of the range. A continuation of an activity may happen when the continued activity is still ongoing or after the continued activity has completely ended. The continuing activity may have started already before it decided to continue the other one. Continuation implies a coherence of intentions and outcomes of the involved activities.
This property is not transitive. This property is asymmetric.

Examples of the inverse property:
- The construction of the Kölner Dom (Cologne Cathedral), abandoned in the 15(th) century (E7), was continued by construction in the 19(th) century (E7). [The construction in the 19(th) century adapted the initial plans so as to preserve the intended appearance.] (Wolff, 1999)

In First Order Logic of the inverse property:
- P134(x,y) ⇒ E7(x)
- P134(x,y)⇒ E7(y)
- P134(x,y) ⇒ P15(x,y)
- P134(x,y) ⇒ P176i(x,y)
- P134(x,y) ⇒ ¬P134(y,x)


E3 Состояние


Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property links an instance of E67 Birth to an instance of E21 Person in the role of biological father.
Note that biological fathers are not seen as necessary participants in the birth, whereas birth-giving mothers are (see P96 by mother (gave birth)). The Person being born is linked to the Birth with the property P98 brought into life (was born).
This is not intended for use with general natural history material, only people. There is no explicit method for modelling conception and gestation except by using extensions.
An instance of E67 Birth is normally (but not always) associated with one biological father.

Examples of the inverse property:
- King George VI (E21) was father for the birth of Queen Elizabeth II (E67). (Parker, 2002)

In First Order Logic of the inverse property:
- P97(x,y) ⇒ E67(x)
- P97(x,y) ⇒ E21(y)


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property describes an intentional relationship between an instance of E7 Activity and some general goal or purpose, described as an instance of E55 Type.
This may involve activities intended as preparation for some type of activity or event. P21 had general purpose (was purpose of) differs from P20 had specific purpose (was purpose of in that no specific event is implied as the purpose.

Examples of the inverse property:
- Van Eyck’s pigment grinding (E7) had general purpose painting (E55). (Borchert, 2008)
- The setting of trap 2742 on 17(th) May 1874 (E7) had general purpose catching moose (E55). [activity type] (fictitious)
- The construction of the Berlin Wall starting 13(th) August 1961 (E12) had general purpose preventing emigration (E55). (History.com Editors, 2020)
- The reinforcement of the Mexico-United States barrier between the United States of America and Mexico in Fall 2019 (E11) had general purpose preventing immigration (E55).
- The rebuilding of the city walls of Heraklion by the Venetian rulers starting in 1462 (E12) had general purpose preventing conquest by enemy (E55). (YouIngGreece.com, 2020)
- The building of the seawall in Hamamatsu, Shizuoka, Japan between 2014 and 2020 (E12) had general purpose preventing inland flooding by tsunami (E55).

In First Order Logic of the inverse property:
- P21(x,y) ⇒ E7(x)
- P21(x,y) ⇒ E55(y)


P74 является текущим или бывшим местом жительства для


Scope note:
This class comprises pieces of land or sea floor.
In contrast to the purely geometric notion of E53 Place, this class describes constellations of matter on the surface of the Earth or other celestial body, which can be represented by photographs, paintings, and maps.
Instances of E27 Site are composed of relatively immobile material items and features in a particular configuration at a particular location.

Examples:
- the Amazon river basin (Hegen, 1966)
- Knossos (Evans, 1921)
- the Apollo 11 landing site (Siegler and Smrekar, 2014)
- Heathrow Airport (Wicks, 2014)
- the submerged harbour of the Minoan settlement of Gournia, Crete (Watrous, 2012)
- the island of Crete

In First Order Logic:
- E27(x) ⇒ E26(x)


Quantification: many to one, necessary (1,1:0,n)

Scope note:
This property shows the type of unit an instance of E54 Dimension was expressed in.

Examples:
- The height of silver cup 232 (E54) has unit mm (E58). (fictitious)

In First Order Logic:
- P91(x,y) ⇒ E54(x)
- P91(x,y) ⇒ E58(y)


P5 состоит из


P51 hat früheren oder derzeitigen Besitzer


Quantification: many to many (0,n:0,n)

Scope note:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts before or simultaneously with the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(start) ≤ B(end) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to the disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, met-by, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}.
This property is not transitive.

https://cidoc-crm.org/html/version_images/images_7.1.3/image_01.png

Figure 8: Temporal entity A starts before or with the end of temporal entity B. Here A is longer than B

https://cidoc-crm.org/html/version_images/images_7.1.3/image_02.png

Figure 9: Temporal entity A starts before or with the end of temporal entity B. Here A is shorter than B

Examples:
- The legendary run from Marathon to Athens 490BC (E7) starts before or with the end of The Battle of Marathon 490BC (E7).
- LMIIB (E4) ends after or with the start of the Tutankhamun period (1332-1323 B.C.E.) (E4). [Evidence for this is provided by the scarab seal found at Poros in a context of LMIIB. The scarab belongs to the type “nh.s n Jmn”. During the Akhenaten period he production of these scarab seals stopped (the name of Amun is not referred to during his reign). So the scarab could not have been produced before the Tutankhamun period and is probably a later production.] (Karetsou, 2000)

In First Order Logic:
- P173(x,y) ⇒ E2(x)
- P173(x,y) ⇒ E2(y)


P68 συνήθως χρησιμοποιεί


P24 сменил владельца через


P11 είχε συμμέτοχο


Quantification of the inverse property: many to many, necessary, dependent (1,n:1,n)

Scope note of the inverse property:
This property associates an instance of E92 Spacetime Volume with another instance of E92 Spacetime Volume that falls within the latter. In other words, all points in the former are also points in the latter.
This property is transitive and reflexive.

Examples of the inverse property:
- The Great Plague (E4) falls within The Gothic period (E4). (Porter, 2009)

In First Order Logic of the inverse property:
- P10(x,y) ⇒ E92(x)
- P10(x,y) ⇒ E92(y)
- P10(x,y) ⇒ P132(x,y)
- P10(x,y) ∧ P10(y,z)] ⇒ P10(x,z)
- P10(x,x)


Scope note:
This class comprises events that result in the formation of a formal or informal E74 Group of people, such as a club, society, association, corporation, or nation.
E66 Formation does not include the arbitrary aggregation of people who do not act as a collective.
The formation of an instance of E74 Group does not require that the group is populated with members at the time of formation. In order to express the joining of members at the time of formation, the respective activity should be simultaneously an instance of both E66 Formation and E85 Joining.

Examples:
- the formation of the CIDOC CRM Special Interest Group in 2000
- the formation of the Soviet Union (Pipes, 1964)
- the conspiring of the murderers of Caesar (Irwin, 1935)

In First Order Logic:
- E66(x) ⇒ E7(x)
- E66(x) ⇒ E63(x)


Quantification: one to many, necessary, dependent (1,n:1,1)

Scope note:
This property links an instance of E63 Beginning of Existence to the instance of E77 Persistent Item brought into existence by it.
It allows a “start” to be attached to any instance of E77 Persistent Item being documented, i.e., as instances of E70 Thing, E72 Legal Object, E39 Actor, E41 Appellation and E55 Type.

Examples:
- The birth of Mozart (E67) brought into existence Mozart (E21). (Deutsch, 1965)

In First Order Logic:
- P92(x,y) ⇒ E63(x)
- P92(x,y) ⇒ E77(y)
- P92(x,y) ⇒ P12(x,y)


P30 μετεβίβασε κατοχή του/της/των


P42 αποδόθηκε από


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 modification and production is not always clear, modification is regarded as the more generally applicable concept. This implies that some items may be consumed or destroyed in an instance of E11 Modification, 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 E11 Modification. 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 modification 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)


E64 Τέλος Ύπαρξης


P21 имел общую цель


Scope note:
This class comprises quantifiable properties that can be measured by some calibrated means and can be approximated by values, i.e. points or regions in a mathematical or conceptual space, such as natural or real numbers, RGB values, etc.
An instance of E54 Dimension represents the empirical or theoretically derived quantity, including the precision tolerances resulting from the particular method or calculation. The identity of an instance of E54 Dimension depends on the method of its determination because each method may produce different values even when determining comparable qualities. For instance, the wingspan of a bird alive or dead is a different dimension. Thermoluminescence dating and Rehydroxylation [RHX] dating are different dimensions of temporal distance from now, even if they aim at dating the same object. The method of determination should be expressed using the property P2 has type (is type of). Note that simple terms such as “diameter” or “length” are normally insufficient to unambiguously describe a respective dimension. In contrast, “maximum linear extent” may be sufficient.
The properties of the class E54 Dimension allow for expressing the numerical approximation of the values of instances of E54 Dimension adequate to the precision of the applied method of determination. If the respective quantity belongs to a non-discrete space according to the laws of physics, such as spatial distances, it is recommended to record them as approximations by intervals or regions of indeterminacy enclosing the assumed true values. For instance, a length of 5 cm may be recorded as 4.5-5.5 cm, according to the precision of the respective observation. Note, that comparability of values described in different units depends critically on the representation as value regions.
Numerical approximations in archaic instances of E58 Measurement Unit used in historical records should be preserved. Equivalents corresponding to current knowledge should be recorded as additional instances of E54 Dimension, as appropriate.

Examples:
- the weight of the Luxor Obelisk [250 metric tons]
- the vertical height of the statue of David by Michelangelo [5.17 metres]
- the weight of the Great Star of Africa diamond [530.2 carats]
- the calibrated C14 date for the Shroud of Turin [AD1262-1312, 1303-1384]
- the horizontal diameter of the Stonehenge Sarsen Circle [33 metres] (Pryor, 2016)
- the length of the sides of the Great Pyramid at Giza [230.34 metres] (Lehner and Hawass, 2017)
- the duration of the time-span of the Battle of Issos/Issus on 15(th) November 333 B.C.E. [less than 12 hours] (Howard, 2012)
- Christie’s hammer price, in British Pounds, for Vincent van Gogh's "Still Life: Vase with Fifteen Sunflowers" in London on 30(th) March 1987 (E97) [24.75 million GBP (British Pounds)]

In First Order Logic:
- E54(x) ⇒ E1(x)


Quantification: many to many (0,n:0,n)

Scope note:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends definitely before the start of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(end) < B(start) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to the following Allen temporal relation (Allen, 1983) : {before}.
This property is transitive. This property is asymmetric.

https://cidoc-crm.org/html/version_images/images_7.1.3/image_11.png

Figure 18: Temporal entity A ends before the start of temporal entity B. Here A is longer than B

https://cidoc-crm.org/html/version_images/images_7.1.3/image_12.png

Figure 19: Temporal entity A ends before the start of temporal entity B. Here A is shorter than B

Examples:
- Gisle taking office as Bishop of Linköping 1139 AD (E7) ends before the start of The Guta saga composition (E65). (Peel, 1999)
- Troy VII (E4) ends before the start of Troy VIII (E4). [uninhabited for some 200 years]
- The use of the Tomb Four from Nikitopoulou group in Nihoria in the MHIII-LHI period (E4) ends before the start of the period of reuse of the Tomb Four from Nikitopoulou group in LHIIIA (E4). [“Of the six tombs excavated in the Nikitopoulou group […] the finds in Tomb Four are of MH II or MH III-LH I date, with the exception of the finds with the Northern group of material, which is uniformly dated to LHIIA2, end the ewer in the middle of the floor, dated LHIIIA1. […] The preserved evidence seems clearly to indicate use in the MHIII-LHI use in the MHIII-LHI period followed by a period of reuse in LHIIIA, a pattern matched at architecturally similar sites such as 13:Kaminia and 10:Gouvalári.”] (Boyd, 2002)

In First Order Logic:
- P183(x,y) ⇒ E2(x)
- P183(x,y) ⇒ E2(y)
- P183(x,y) ⇒ P182(x,y)
- [P183(x,y) ∧ P183(y,z)] ⇒ P183(x,z)
- P183(x,y) ⇒ ¬P183(y,x)


Quantification: many to many (0,n:0,n)

Scope note:
This property describes the decomposition of an instance of E3 Condition State into discrete, subsidiary states.
It is assumed that the sub-states into which the condition state is analysed form a logical whole, although the entire story may not be completely known, and that the sub-states are in fact constitutive of the general condition state. For example, a general condition state of “in ruins” may be decomposed into the individual stages of decay.
This property is transitive and asymmetric.

Examples:
- The Condition State of the ruined Parthenon (E3) consists of the bombarded state after the explosion of a Venetian shell in 1687 (E3). (Mommsen, 1941)

In First Order Logic:
- P5(x,y) ⇒ E3(x)
- P5(x,y) ⇒ E3(y)
- [P5(x,y) ∧ P5(y,z)] ⇒ P5(x,z)
- P5(x,y) ⇒ ¬P5(y,x)


Quantification: one to many, necessary (1,n:0,1)

Scope note:
This property links an instance of E64 End of Existence to the instance of E77 Persistent Item taken out of existence by it.
In the case of immaterial things, the instance of E64 End of Existence is considered to take place with the destruction of the last physical carrier.
This allows an “end” to be attached to any instance of E77 Persistent Item being documented i.e. instances of E70 Thing, E72 Legal Object, E39 Actor, E41 Appellation, and E55 Type. For many instances of E77 Persistent Item we know the maximum life-span and can infer that they must have ended to exist. We assume in that case an instance of E64 End of Existence, which may be as unnoticeable as forgetting the secret knowledge by the last representative of some indigenous nation.

Examples:
- The death of Mozart (E69) took out of existence Mozart (E21). (Deutsch, 1965)

In First Order Logic:
- P93(x,y) ⇒ E64(x)
- P93(x,y) ⇒ E77(y)
- P93(x,y) ⇒ P12(x,y)


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property associates an instance of E92 Spacetime Volume with an instance of E53 Place that is the result of the spatial projection of the instance of the E92 Spacetime Volume on a reference space.
In general, there can be more than one useful reference space (for reference space see P156 occupies and P157 is at rest relative to) to describe the spatial projection of a spacetime volume, for example, in describing a sea battle, the difference between the battle ship and the seafloor as reference spaces. Thus, it can be seen that the projection is not unique.
The spatial projection is the actual spatial coverage of a spacetime volume, which normally has fuzzy boundaries except for instances of E92 Spacetime Volume which are geometrically defined in the same reference system as the range of this property and are an exception to this and do not have fuzzy boundaries. Modelling explicitly fuzzy spatial projections serves therefore as a common topological reference of different spatial approximations rather than absolute geometric determination, for instance for relating outer or inner spatial boundaries for the respective spacetime volumes.
The spatial projection is unique with respect to the reference system. For instance, there is exactly one spatial projection of Lord Nelson’s dying relative to the ship HMS Victory, i.e. the location of his body relative to the ship HMS Victory at the time of his death.
In case the domain of an instance of P161 has spatial projection is an instance of E4 Period, the spatial projection describes all areas that period was ever present at, for instance, the Roman Empire.
This property is part of the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P161 has spatial projection to E53 Place, which in turn is implied by P156 occupies (is occupied by).

Examples of the inverse property:
- The Roman Empire (E4) has spatial projection all areas ever claimed by Rome (E53). (Clare & Edwards, 1992)

In First Order Logic of the inverse property:
- P161(x,y) ⇒ E92(x)
- P161(x,y) ⇒ E53(y)
- (∃y,z,u) [E92(x) ˄ E53(y) ˄ E53(z) ˄ E18(u) ˄ P157(y,u) ˄ P157(z,u) ˄ P161(x,y) ˄ P161(x,z) ] ⇒ (x = y)
- P161(x,y) ˄ E4(x) ⇒ P7(x,y)


P126 использовался в


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property identifies a specific instance of E29 Design or Procedure in order to carry out an instance of E7 Activity or parts of it.
The property differs from P32 used general technique (was technique of) in that P33 refers to an instance of E29 Design or Procedure, which is a concrete information object in its own right rather than simply being a term or a method known by tradition.
Typical examples would include intervention plans for conservation or the construction plans of a building.

Examples of the inverse property:
- The ornamentation of silver cup 232 (E11) used specific technique ‘Instructions for golden chase work by A N Other’ (E29). (fictitious)
- The rebuilding of the German Reichstag in Berlin (E11) used specific technique Architectural plans by Foster and Partners (E29). (Foster, 2000)

In First Order Logic of the inverse property:
- P33(x,y) ⇒ E7(x)
- P33(x,y) ⇒ E29(y)
- P33(x,y) ⇒ P16(x,y)


Scope note:
This class comprises individual items of a material nature, which live, have lived, or are natural products of or from living organisms.
Artificial objects that incorporate biological elements, such as Victorian butterfly frames, can be documented as both instances of E20 Biological Object and E22 Human-Made Object.

Examples:
- me (fictitious)
- Tut-Ankh-Amun (Edwards and Boltin, 1979)
- Boukephalus [Horse of Alexander the Great] (Lamb, 2005)
- petrified dinosaur excrement PA1906-344

In First Order Logic:
- E20(x) ⇒ E19(x)


E13 Присвоение Атрибута


P70 τεκμηριώνει


P106 составлен из


P23 παρέδωσε τον τίτλο μέσω


P91 является единицей для


E67 Рождение


Quantification: many to many (0,n:0,n)

Scope note:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts before or simultaneously with the start of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(start) ≤ B(start) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, starts, started-by, contains, finished-by, equals}
In a model with fuzzy borders, this property will not be transitive.
This property is irreflexive.

https://cidoc-crm.org/html/version_images/images_7.1.3/image_05.png

Figure 12: Temporal entity A starts before or with the start of temporal entity B. Here A is longer than B

https://cidoc-crm.org/html/version_images/images_7.1.3/image_06.png

Figure 13: Temporal entity A starts before or with the start of temporal entity B. Here A is shorter than B

Examples:
- The production of the scarab seal found in Poros in a context of LMIIIB (E12) starts after or with the start of Tutankhamun period (1332-1323 B.C) (E4). [The scarab stamp seal found in Poros was associated with finds dated to the LMIIIB period. The seal is dated to the Tutankhamun period or later because it belongs to the scarabs of type “nh.s n Jmn”: During Akhenaten period, the production of this type of scarab seal stopped (the name of Amun is not referred to during his reign). Therefore, the scarab cannot have been produced before the Tutankhamun period and is probably a later production] (Karetsou, 2000)
- The production of the cylindrical seal of the first Dynasty of Babylon found in Tholos B in Platanos (E12) starts after or with the start of the Hammurabi period of the kingdom (E4). [Of the cylindrical seal of the first Dynasty of Babylon found in tholos B in Platanos believed to connect king Hammurabi with the MM I period. Specifically, although the finding is believed to have been found in a MM I layer, it contained material from the MM III/YM I period. Therefore, the seal may be from the Hammurabi period or, it may be from a later period.] (Walberg, 1992.)

In First Order Logic:
- P175(x,y) ⇒ E2(x)
- P175(x,y) ⇒ E2(y)
- P175(x,y) ⇒ P174(x,y)
- ¬P175(x,x)


P11 συμμετείχε σε


Quantification: many to many (0,n:0,n)

Scope note:
This property describes the naming or identification of any real-world item by a name or any other identifier.
This property is intended for identifiers in general use, which form part of the world the model intends to describe, and not merely for internal database identifiers which are specific to a technical system, unless these latter also have a more general use outside the technical context. This property includes in particular identification by mathematical expressions such as coordinate systems used for the identification of instances of E53 Place. The property does not reveal anything about when, where and by whom this identifier was used. A more detailed representation can be made using the fully developed (i.e. indirect) path through E15 Identifier Assignment.
This property is a shortcut for the path from E1 CRM Entity through P140i was attributed by, E15 Identifier Assignment, P37 assigned to E42 Identifier.
It is also a shortcut for the path from E1 CRM Entity through P1 is identified by, E41 Appellation, P139 has alternative form to E41 Appellation.

Examples:
- The capital of Italy (E53) is identified by “Rome” (E41). (Leach, 2017)
- Text 25014–32 (E33) is identified by “The Decline and Fall of the Roman Empire” (E35). (Gibbon, 2013)

In First Order Logic:
- P1(x,y) ⇒ E1(x)
- P1(x,y) ⇒ E41(y)
- P1(x,y) ⇐ (∃z) [E15(z)˄ P140i(x,z) ˄ P37(z,y)]
- P1(x,y) ⇐ (∃z) [E41(z)˄ P1(x,z) ˄ P139(z,y)]


P68 συνήθως χρησιμοποιείται από


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies the instance of E74 Group an instance of E39 Actor leaves through an instance of E86 Leaving.
Although a leaving activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which leaving one E74 Group implies leaving another E74 Group as well.

Examples of the inverse property:
- The end of Sir Isaac Newton’s duty as Member of Parliament for the University of Cambridge to the Convention Parliament in 1702 (E86) separated from the Convention Parliament (E74). (Iliffe, 2013)
- George Washington’s leaving office in 1797 (E86) separated from the office of President of the United States (E74). (Unger, 2015)
- The implementation of the treaty regulating the termination of Greenland membership in EU between EU, Denmark and Greenland 1(st) February 1985 (E86) separated from EU (E74).

In First Order Logic of the inverse property:
- P146(x,y) ⇒ E86(x)
- P146(x,y) ⇒ E74(y)
- P146(x,y) ⇒ P11(x,y)


Quantification: many to many (0,n:0,n)

Scope note:
This property describes the use of material or immaterial things in a way essential to the performance or the outcome of an instance of E7 Activity.
This property typically applies to tools, instruments, moulds, raw materials and items embedded in a product. It implies that the presence of the object in question was a necessary condition for the action. For example, the activity of writing this text required the use of a computer. An immaterial thing can be used if at least one of its carriers is present. For example, the software tools on a computer.
Another example is the use of a particular name by a particular group of people over some span to identify a thing, such as a settlement. In this case, the physical carriers of this name are at least the people understanding its use.

Examples:
- The writing of the scope note of the CIDOC CRM property “P16 used specific object” contained in the CIDOC CRM version 4.1 (E7) used specific object Nicholas Crofts’ computer (E22) mode of use Typing Tool; Storage Medium (E55). [the original scope note was later extended in the CIDOC CRM version 4.3]
- The people of Iraq calling the place identified by TGN ‘7017998’ (E7) used specific object “Quyunjig” (E41) mode of use current; vernacular (E55).

Properties:
- P16.1 mode of use: E55 Type

In First Order Logic:
- P16(x,y) ⇒ E7(x)
- P16(x,y) ⇒ E70(y)
- P16(x,y) ⇒ P12(x,y)
- P16(x,y) ⇒ P15(x,y)
- P16(x,y,z) ⇒ [P16(x,y) ∧ E55(z)]


P107 έχει ή είχε μέλος


E42 Идентификатор Объекта


P76 έχει σημείο επικοινωνίας


P80 τέλος προσδιορίζεται από


P111 добавил


P3 έχει επεξήγηση


Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E73 Information Object with an instance of E90 Symbolic Object (or any of its subclasses) that was included in it.
This property makes it possible to recognise the autonomous status of the incorporated signs, which were created in a distinct context, and can be incorporated in many instances of E73 Information Object, and to highlight the difference between structural and accidental whole-part relationships between conceptual entities.
It accounts for many cultural facts that are quite frequent and significant: the inclusion of a poem in an anthology, the re-use of an operatic aria in a new opera, the use of a reproduction of a painting for a book cover or a CD booklet, the integration of textual quotations, the presence of lyrics in a song that sets those lyrics to music, the presence of the text of a play in a movie based on that play, etc.
In particular, this property allows for modelling relationships of different levels of symbolic specificity, such as the natural language words making up a particular text, the characters making up the words and punctuation, the choice of fonts and page layout for the characters.
When restricted to information objects, that is, seen as a property with E73 Information Object as domain and range the property is transitive.
A digital photograph of a manuscript page incorporates the text of a manuscript page, if the respective text is defined as a sequence of symbols of a particular type, such as Latin characters, and the resolution and quality of the digital image is sufficient to resolve these symbols so they are readable on the digital image.
This property is asymmetric.

Examples:
- The content of Charles-Moïse Briquet’s ‘Les Filigranes: dictionnaire historique des marques du papier’ (E32) incorporates the visual aspect of the watermark used around 1358-61 by some Spanish papermaker(s) and identified as ‘Briquet 4019’ (E37). (Briquet, 1985)
- The visual content of Jacopo Amigoni’s painting known as ‘The Singer Farinelli and friends’ (E36) incorporates the musical notation of Farinelli’s musical work entitled ‘La Partenza’ (E73). (National Gallery of Victoria)
- The visual content of Nicolas Poussin’s painting entitled ‘Les Bergers d’Arcadie’ (E36) incorporates the Latin phrase ‘Et in Arcadia ego’ (E33). (Wikipedia, 2020)

In First Order Logic:
- P165(x,y) ⇒ E73(x)
- P165(x,y) ⇒ E90(y)
- P165(x,y) ⇒ P106(x,y)
- P165(x,y) ⇒ ¬P165(y,x)


P56 φέρει μόρφωμα


Quantification of the inverse property: many to one, necessary(1,1:0,n)

Scope note of the inverse property:
This property relates an instance of E93 Presence with the instance of E52 Time-Span that defines the time-slice of the spacetime volume that this instance of E93 Presence is related to via the property P166 was a presence of (had presence).
There are two typical cases for the determination of the related instance of E52 Time-Span. In the first, it is the temporal extent of an instance of E2 Temporal Entity (documented with P4 has time-span (is time-span of)): this then documents the simultaneity of the instance of E93 Presence and the instance of E2 Temporal Entity, even if the absolute time-span is not known, and can be regarded as a phenomenal time-span. In the second, the instance of E52 Time-Span is a date range declared in or derived from historical sources or provided by dating methods: this is a declarative time-span.

Examples of the inverse property:
- 2016-02-09 (E52) temporally specifies the last day of the 2016 Carnival in Cologne (E93).
- Johann Joachim Winckelmann’s whereabouts in December 1755 (E93) is temporally specified by December 1755 (E52.) (Leppmann, 1970)
- Johann Joachim Winckelmann’s whereabouts from 19(th) November 1755 until 9(th) April 1768 (E93) is temporally specified by 19(th) November 1755 until 9(th) April 1768 (E52). (Leppmann, 1970)

In First Order Logic of the inverse property:
- P164(x,y) ⇒ E93(x)
- P164(x,y) ⇒ E52(y)
- P164(x,y) ⇒ P160(x,y)


Scope note:
This class comprises items that have persistent characteristics of structural nature substantially related to their identity and their integrity, sometimes known as “endurants” in philosophy. Persistent Items may be physical entities, such as people, animals or things, conceptual entities such as ideas, concepts, products of the imagination or even names.
Instances of E77 Persistent Item may be present or be part of interactions in different periods or events. They can repeatedly be recognized at disparate occasions during their existence by characteristics of structural nature. The respective characteristics need not be exactly the same during all the existence of an instance of E77 Persistent Item. Often, they undergo gradual change, still bearing some similarities with that of previous times, or disappear completely and new emerge. For instance, a person, from the time of being born on, will gradually change all its features and acquire new ones, such as a scar. Even the DNA in different body cells will develop defects and mutations. Nevertheless, relevant characteristics used should be sufficiently similar to recognize the instance for some substantial period of time.
The more specific criteria that determine the identity of instances of subclasses of E77 Persistent Item may vary considerably and are described or referred to in the respective scope notes. The decision about which exact criteria to use depends on whether the observable behaviour of the respective part of reality such confined conforms to the reasoning the user is interested in. For example, a building can be regarded as no longer existing if it is dismantled and the materials reused in a different configuration. On the other hand, human beings go through radical and profound changes during their life-span, affecting both material composition and form, yet preserve their identity by other criteria, such as being bodily separated from other persons. Similarly, inanimate objects may be subject to exchange of parts and matter. On the opposite, the identity of a (version of a) text of a scientific publication is given by the exact arrangement of its relevant symbols.
The main classes of objects that fall outside the scope of the E77 Persistent Item class are temporal objects such as periods, events and acts, and descriptive properties.
An instance of E77 Persistent Item does not require actual knowledge of the identifying features of the instance being currently known. There may be cases, where the actual identifying features of an instance of E77 Persistent Item are not decidable at a particular state of knowledge.

Examples:
- Leonardo da Vinci (E21) (Strano, 1953)
- Stonehenge (E24) (Pryor, 2016)
- the hole in the ozone layer (E4) (Hufford and Horwitz, 2005)
- the First Law of Thermodynamics (E89) (Craig and Gislason, 2002)
- the Bermuda Triangle (E53) (Dolan, 2005)

In First Order Logic:
- E77(x) ⇒ E1(x)


P49 是以往或当前保管者


P134 συνεχίστηκε από


P15 επηρεάστηκε από


Quantification: many to many (0,n:0,n)

Scope note:
This property links an instance of E33 Linguistic Object (A), to another instance of E33 Linguistic Object (B) which is the translation of A.
When an instance of E33 Linguistic Object is translated into a new language a new instance of E33 Linguistic Object is created, despite the translation being conceptually similar to the source.
This property is asymmetric.

Examples:
- “Les Baigneurs” (E33) has translation “The Bathers” (E33). (Spiers & Surenne, 1854)

In First Order Logic:
- P73(x,y) ⇒ E33(x)
- P73(x,y) ⇒ E33(y)
- P73(x,y) ⇒ P130i(x,y)
- P73(x,y) ⇒ ¬P73(y,x)


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends before or simultaneously with the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(end) ≤ B(end )is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, finished by, start, equals, during, finishes}.
This property is irreflexive

https://cidoc-crm.org/html/version_images/images_7.1.3/image_13.png

Figure 20: Temporal entity A ends before or with the end of temporal entity B. Here A is longer than B

https://cidoc-crm.org/html/version_images/images_7.1.3/image_14.png

Figure 21: Temporal entity A ends before or with the end of temporal entity B. Here A is shorter than B

Examples of the inverse property:
- The reign/life of Harold II (E4) ends before or with the end of the Battle of Hastings (E7)

In First Order Logic of the inverse property:
- P184(x,y) ⇒ E2(x)
- P184(x,y) ⇒ E2(y)
- P184(x,y) ⇒ P174(x,y)
- ¬P184(x,x)


P103 был интенцией для


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies the instance of E39 Actor that leaves an instance of E74 Group through an instance of E86 Leaving.

Examples of the inverse property:
- The end of Sir Isaac Newton’s duty as Member of Parliament for the University of Cambridge to the Convention Parliament in 1702 (E86) separated Sir Isaac Newton (E21). (Iliffe, 2013)
- George Washington’s leaving office in 1797 (E86) separated George Washington (E21). (Unger, 2015)
- The implementation of the treaty regulating the termination of Greenland membership in EU between EU, Denmark and Greenland 1(st) February 1985 (E86) separated Greenland (E74).

In First Order Logic of the inverse property:
- P145(x,y) ⇒ E86(x)
- P145(x,y) ⇒ E39(y)
- P145(x,y) ⇒ P11(x,y)


Quantification: many to many (0,n:0,n)

Scope note:
This symmetric property associates two instances of E92 Spacetime Volume that have some of their extents in common. If only the fuzzy boundaries of the instances of E92 Spacetime Volume overlap, this property cannot be determined from observation alone and therefore should not be applied. However, there may be other forms of justification that the two instances of E92 Spacetime Volume must have some of their extents in common regardless of where and when precisely.
If this property holds for two instances of E92 Spacetime Volume then it cannot be the case that P133 is spatiotemporally separated from also holds for the same two instances. Furthermore, there are cases where neither P132 spatiotemporally overlaps with nor P133 is spatiotemporally separated from holds between two instances of E92 Spacetime Volume. This would occur where only an overlap of the fuzzy boundaries of the two instances of E92 Spacetime Volume occurs and no other evidence is available.
This property is not transitive. This property is symmetric. This property is reflexive.

Examples:
- The “Urnfield” period (E4) spatiotemporally overlaps with the “Hallstatt” period (E4). (Gimbutas, 1965)

In First Order Logic:
- P132(x,y) ⇒ E92(x)
- P132(x,y) ⇒ E92(y)
- P132(x,y) ⇒ P132(y,x)
- P132(x,y) ⇒ P132 (x,y)
- P132(x,x)


Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property establishes the relationship between an instance of E97 Monetary Amount and the instance of E98 Currency that it is measured in.

Examples of the inverse property:
- Christie’s hammer price for Vincent van Gogh’s “Still Life: Vase with Fifteen Sunflowers” in London on 30(th) March 1987 (E97) has currency British Pounds (E98).

In First Order Logic of the inverse property:
- P180(x,y) ⇒ E97(x)
- P180(x,y) ⇒ E98(y)
- P180(x,y) ⇒ P91(x,y)


Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property associates an instance of E93 Presence with the instance of E92 Spacetime Volume of which it represents a temporal restriction (i.e. a time-slice). Instantiating this property constitutes a necessary part of the identity of the respective instance of E93 Presence.

Examples of the inverse property:
- The Roman Empire on 19(th) August AD 14 (E93) was a presence of The Roman Empire (E4). (Clare and Edwards, 1992)

In First Order Logic of the inverse property:
- P166(x,y) ⇒ E93(x)
- P166(x,y) ⇒ E92(y)
- P166(x,y) ⇒ P10(x,y)


E15 Назначение Идентификатора


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts definitely before the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(start) < B(end) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}
Typically, this property is a consequence of a known influence of some event on another event or activity, such as a novel written by someone being continued by someone else, or the knowledge of a defeat on a distant battlefield causing people to end their ongoing activities. This property is not transitive. This property is irreflexive.

https://cidoc-crm.org/html/version_images/images_7.1.3/image_03.png

Figure 10: Temporal entity A starts before the end of temporal entity B. Here A is longer than B

https://cidoc-crm.org/html/version_images/images_7.1.3/image_04.png

Figure 11: Temporal entity A starts before the end of temporal entity B. Here A is shorter than B

Examples of the inverse property:
- The settling activity of the city of Assur (Ashur) (E7) starts before the end of The Tenth Dynasty of Egypt (E4). [There are some 200 - 300 years differences in the chronology of the First Intermediate Period, and Assur is dated to “about 2500 BC”.] (Pedersén, 1986)
- The building of the current St. Peters in Rome (E7) starts before the end of the demolition of the old 4(th) c. St. Peters (E6, E7) (Bosman, 2004)

In First Order Logic of the inverse property:
- P174(x,y) ⇒ E2(x)
- P174(x,y) ⇒ E2(y)
- P174(x,y) ⇒ P173(x,y)
- ¬P174(x,x)


P140 присвоил атрибут для


Quantification: many to one, necessary (1,1:0,n)

Scope note:
This property establishes the relationship between an instance of E97 Monetary Amount and the instance of E98 Currency that it is measured in.

Examples:
- Christie’s hammer price for Vincent van Gogh’s “Still Life: Vase with Fifteen Sunflowers” in London on 30(th) March 1987 (E97) has currency British Pounds (E98).

In First Order Logic:
- P180(x,y) ⇒ E97(x)
- P180(x,y) ⇒ E98(y)
- P180(x,y) ⇒ P91(x,y)


Quantification of the inverse property: many to one, necessary (1,1:0,n)

Scope note of the inverse property:
This property records the item to which a type was assigned in an E17 Type Assignment activity.
Any instance of a CIDOC CRM entity may be assigned a type through type assignment. Type assignment events allow a more detailed path from E1 CRM Entity through P41i was classified by, E17 Type Assignment, P42 assigned, to E55 Type for assigning types to objects compared to the shortcut offered by P2 has type (is type of).

Examples of the inverse property:
- The classification of silver cup 232 on 31(st) August 1997 (E17) classified silver cup 232 (E22). (fictitious)

In First Order Logic of the inverse property:
- P41(x,y) ⇒ E17(x)
- P41(x,y) ⇒ E1(y)
- P41(x,y) ⇒ P140(x,y)


Scope note:
This class comprises the births of human beings. E67 Birth is a biological event focussing on the context of people coming into life. (E63 Beginning of Existence comprises the coming into life of any living being.)
Twins, triplets, etc. are brought into life by the same instance of E67 Birth. The introduction of the E67 Birth event as a documentation element allows the description of a range of family relationships in a simple model. Suitable extensions may describe more details and the complexity of motherhood since the advent of modern medicine. In this model, the biological father is not seen as a necessary participant in the E67 Birth.

Examples:
- the birth of Alexander the Great (Stoneman, 2004)

In First Order Logic:
- E67(x) ⇒ E63(x)


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property identifies one or more instances of E1 CRM Entity that were used as evidence to declare a new instance of E55 Type.
The examination of these items is often the only objective way to understand the precise characteristics of a new type. Such items should be deposited in a museum or similar institution for that reason. The taxonomic role renders the specific relationship of each item to the type, such as “holotype” or “original element”.

Examples of the inverse property:
- The taxon creation of the plant species ‘Serratula glauca Linné, 1753.’ (E83) was based on Object BM000576251 of the Clayton Herbarium (E20) in the taxonomic role original element (E55). (Blake, 1918)

In First Order Logic of the inverse property:
- P136(x,y) ⇒ E83(x)
- P136(x,y) ⇒ E1(y)
- P136(x,y,z) ⇒ [P136(x,y) ∧ E55(z)]
- P136(x,y) ⇒ P15(x,y)


P13 был уничтожен посредством


P100 πέθανε σε


P111 προστέθηκε από


P93 αναίρεσε


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts before or simultaneously with the start of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(start) ≤ B(start) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, starts, started-by, contains, finished-by, equals}
In a model with fuzzy borders, this property will not be transitive.
This property is irreflexive.

https://cidoc-crm.org/html/version_images/images_7.1.3/image_05.png

Figure 12: Temporal entity A starts before or with the start of temporal entity B. Here A is longer than B

https://cidoc-crm.org/html/version_images/images_7.1.3/image_06.png

Figure 13: Temporal entity A starts before or with the start of temporal entity B. Here A is shorter than B

Examples of the inverse property:
- The production of the scarab seal found in Poros in a context of LMIIIB (E12) starts after or with the start of Tutankhamun period (1332-1323 B.C) (E4). [The scarab stamp seal found in Poros was associated with finds dated to the LMIIIB period. The seal is dated to the Tutankhamun period or later because it belongs to the scarabs of type “nh.s n Jmn”: During Akhenaten period, the production of this type of scarab seal stopped (the name of Amun is not referred to during his reign). Therefore, the scarab cannot have been produced before the Tutankhamun period and is probably a later production] (Karetsou, 2000)
- The production of the cylindrical seal of the first Dynasty of Babylon found in Tholos B in Platanos (E12) starts after or with the start of the Hammurabi period of the kingdom (E4). [Of the cylindrical seal of the first Dynasty of Babylon found in tholos B in Platanos believed to connect king Hammurabi with the MM I period. Specifically, although the finding is believed to have been found in a MM I layer, it contained material from the MM III/YM I period. Therefore, the seal may be from the Hammurabi period or, it may be from a later period.] (Walberg, 1992.)

In First Order Logic of the inverse property:
- P175(x,y) ⇒ E2(x)
- P175(x,y) ⇒ E2(y)
- P175(x,y) ⇒ P174(x,y)
- ¬P175(x,x)


E16 Событие Измерения


Quantification: many to many (0,n:0,n)

Scope note:
This property identifies an instance of E39 Actor that is or had been the legal owner (i.e. title holder) of an instance of E18 Physical Thing at some time.
The distinction with P52 has current owner (is current owner of) is that P51 has former or current owner (is former or current owner of) does not indicate whether the specified owners are current.
This property is a shortcut for the more detailed path from E18 Physical Thing through P24i changed ownership through, E8 Acquisition, P23 transferred title from, or P22 transferred title to to E39 Actor.

Examples:
- The paintings from the Iveagh Bequest (E78) has former or current owner Lord Iveagh (E21). (Bryant, 1990)

In First Order Logic:
- P51(x,y) ⇒ E18(x)
- P51(x,y) ⇒ E39(y)
- P51(x,y) ⇐ (∃z) [E8(z) ˄ P24i(x,z) ˄ [P23(z,y) ˅ P22(z,y) ]]


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property identifies something that is depicted by an instance of E24 Physical Human-Made Thing. Depicting is meant in the sense that an instance of E24 Physical Human-Made Thing intentionally shows, through its optical qualities or form, a representation of the entity depicted. Photographs are by default regarded as being intentional in this sense. Anything that is designed to change the properties of the depiction, such as an e-book reader, is specifically excluded. The property does not pertain to inscriptions or any other information encoding.
This property is a shortcut of the more fully developed path from E24 Physical Human-Made Thing through P65 shows visual item, E36 Visual Item, P138 represents to E1 CRM Entity. P62.1 mode of depiction allows the nature of the depiction to be refined.

Examples of the inverse property:
- The painting “La Liberté guidant le peuple” by Eugène Delacroix (E22) depicts the French “July Revolution” of 1830 (E7). (Delacroix, 1982)
- The 20 pence coin held by the Department of Coins and Medals of the British Museum under registration number 2006,1101.126 (E22) depicts Queen Elizabeth II (E21) mode of depiction Profile (E55).

In First Order Logic of the inverse property:
- P62(x,y) ⇒ E24(x)
- P62(x,y) ⇒ E1(y)
- P62(x,y,z) ⇒ [P62(x,y) ∧ E55(z)]
- P62(x,y) ⇐ (∃z) [E36(z) ˄ P65(x,z) ˄ P138(z,y)]


E20 Βιολογικό Ακτικείμενο


P45 αποτελείται από


P93 положил конец существованию


E63 Начало Существования


E54 Величина


Scope note:
This class comprises items of a material nature that are units for documentation and have physical boundaries that separate them completely in an objective way from other objects.
The class also includes all aggregates of objects made for functional purposes of whatever kind, independent of physical coherence, such as a set of chessmen. Typically, instances of E19 Physical Object can be moved (if not too heavy).
In some contexts, such objects, except for aggregates, are also called “bona fide objects”, i.e. naturally defined objects (Smith & Varzi, 2000).
The decision as to what is documented as a complete item, rather than by its parts or components, may be purely administrative or may be a result of the order in which the item was acquired.

Examples:
- Aphrodite of Milos (E22) (Kousser, 2005)
- the Cullinan Diamond (Scarratt and Shor, 2006)
- Apollo 13 at the time of launch (E22) (Lovell and Kluger, 1994)

In First Order Logic:
- E19(x) ⇒ E18(x)


Scope note:
This class comprises the activities that result in an instance of E18 Physical Thing being decreased by the removal of a part.
Typical scenarios include the detachment of an accessory, the removal of a component or part of a composite object, or the deaccessioning of an object from a curated collection, an instance of E78 Curated Holding. If the instance of E80 Part Removal results in the total decomposition of the original object into pieces, such that the whole ceases to exist, the activity should instead be modelled as an instance of E81 Transformation, i.e. a simultaneous destruction and production. In cases where the part removed has no discernible identity prior to its removal but does have an identity subsequent to its removal, the activity should be modelled as both an instance of E80 Part Removal and E12 Production. This class of activities forms a basis for reasoning about the history, and continuity of identity over time, of objects that are removed from other objects, such as precious gemstones being extracted from different items of jewellery, or cultural artifacts being deaccessioned from different museum collections over their lifespan.

Examples:
- the removal of the Porite coral specimen from the Cocos Islands by Charles Darwin in April 1836 (Natural History Museum, 2021, b)
- the removal of the engine from my car (fictitious)
- the disposal of object number 1976:234 from the collection (fictitious)

In First Order Logic:
- E80(x) ⇒ E11(x)


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates an instance of E70 Thing with an instance of E55 Type that describes the type of use that it was actually employed for.
It allows the relationship between particular things, both physical and immaterial, and the general methods and techniques of real use to be documented. This may well be different from the intended functional purpose of the instance of E70 Thing (which can be documented with P103 was intended for (was intention of)). For example, it could be recorded that a particular wooden crate had a general use as a shelf support on a market stall even though it had been originally intended for carrying vegetables.
The use of this property is intended to allow the documentation of usage patterns attested in historical records or through scientific investigation (for instance ceramic residue analysis). It should not be used to document the intended, and thus assumed, use of an object.

Examples of the inverse property:
- Tony Gill’s Ford Mustang (E22) had as general use transportation (E55).
- The Egyptian unglazed vessel used in the 2003 study reported by Barnard et al. (E22) had as general use camel milk preparation (E55). (Barnard et al., 2007)

In First Order Logic of the inverse property:
- P101(x,y) ⇒ E70(x)
- P101(x,y) ⇒ E55(y)
- P101(x,y) ⇒ (∃z)[E7(z) ∧ P16i(,x,z) ∧ P2(z,y)]


P35 έχει διαπιστωθεί από


P38 был отменен посредством


P40 определил величину


P53 是之前或当前位置


Scope note:
This class comprises discrete, identifiable human-made items that are documented as single units.
These items are either intellectual products or human-made physical things, and are characterized by relative stability. They may, for instance, have a solid physical form, an electronic encoding, or they may be logical concepts or structures.

Examples:
- Beethoven’s 5(th) Symphony (E73) (Lockwood, 2015)
- Michelangelo’s David (E22) (Paoletti and Bagemihl, 2015)
- Einstein’s Theory of General Relativity (E89) (Hartle, 2003)
- the taxon ‘Fringilla coelebs Linnaeus,1758’ (E55) (Sinkevicius and Narusevicius, 2002)

In First Order Logic:
- E71(x) ⇒ E70(x)


E80 Αφαίρεση Μερών


P32 a été la technique générale mise en œuvre dans


P81a τέλος της αρχής


P130 признаки также найдены на


P104 ισχύει για


Scope note:
This class comprises all things in the universe of discourse of the CIDOC Conceptual Reference Model.
It is an abstract concept providing for three general properties:
- Identification by name or appellation, and in particular by a preferred identifier
- Classification by type, allowing further refinement of the specific subclass to which an instance belongs
- Attachment of free text and other unstructured data for the expression of anything not captured by formal properties
All other classes within the CIDOC CRM are directly or indirectly specialisations of E1 CRM Entity.

Examples:
- the earthquake in Lisbon 1755 (E5) (Chester, 2001)

In First Order Logic:
- E1(x)


E15 Απόδοση Αναγνωριστικού


E41 Ονομασία


Quantification of the inverse property: one to many, dependent (0,n:1,1)

Scope note of the inverse property:
This property links an instance of E19 Physical Object to an instance of E26 Physical Feature that it bears.
An instance of E26 Physical Feature can only exist on one object. One object may bear more than one E26 Physical Feature. An instance of E27 Site should be considered as an instance of E26 Physical Feature on the surface of the Earth.
An instance B of E26 Physical Feature being a detail of the structure of another instance A of E26 Physical Feature can be linked to B by use of the property P46 is composed of (forms part of). This implies that the subfeature B is P56i is found on the same E19 Physical Object as A.
This property is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path E19 Physical Object, through, P59 has section, E53 Place, P53i is former or current location of to E26 Physical Feature.

Examples of the inverse property:
- Silver cup 232 (E22) bears feature 32 mm scratch on silver cup 232 (E26). (fictitious)

In First Order Logic of the inverse property:
- P56(x,y) ⇒E19(x)
- P56(x,y) ⇒ E26(y)
- P56(x,y) ⇒ P46(x,y)
- P56(x,y) ⇐ (∃z) [E53(z) ˄ P59(x,z) ˄ P53i(z,y)]


Quantification: many to many (0,n:0,n)

Scope note:
This property describes the maximum spatial extent within which an instance of E53 Place falls. Since instances of E53 Places may not have precisely known spatial extents, the CIDOC CRM supports statements about maximum spatial extents of instances of E53 Place. This property allows an instance of E53 Place’s maximum spatial extent (i.e., its outer boundary) to be assigned an instance of E94 Space Primitive value.
This property is a shortcut of the fully developed path from E53 Place, P89 falls within, E53 Place, P168 place is defined by to E94 Space Primitive through a declarative Place that is not explicitly documented, to a Space Primitive: declarative places are defined in CRMgeo (Doerr and Hiebel 2013).

Examples:
- The spatial extent of the Acropolis of Athens (E53) at some place within POLYGON ((37.969172 23.720787, 37.973122 23.721495 37.972741 23.728994, 37.969299 23.729735, 37.969172 23.720787)) (E94).

In First Order Logic:
- P171(x,y) ⇒ E53(x)
- P171(x,y) ⇒ E94(y)
- P171(x,y) ⇔ (∃z) [E53(z) ˄ P89(x,z) ˄ P168(z,y)]


Quantification of the inverse property: one to many, dependent (0,n:1,1)

Scope note of the inverse property:
This property records an E3 Condition State for some E18 Physical Thing.
This property is a shortcut of the more fully developed path from E18 Physical Thing through P34i was assessed by, E14 Condition Assessment, P35 has identified to E3 Condition State. It offers no information about how and when the E3 Condition State was established, nor by whom.
An instance of E3 Condition State is specific to an instance of E18 Physical Thing.

Examples of the inverse property:
- Silver cup 232 (E22) has condition oxidation traces were present in 1997 (E3). [which has type (P2) oxidation traces (E55)] (fictitious)

In First Order Logic of the inverse property:
- P44(x,y) ⇒ E18(x)
- P44(x,y) ⇒ E3(y)
- P44(x,y) ⇐ (∃z) [E14(z) ˄ P34i(x,z) ˄ P35(z,y)]


E41 Обозначение


P28 μετεβίβασε κατοχή από


Scope note:
This class is a specialization of E55 Type and comprises the natural languages in the sense of concepts.
This type is used categorically in the model without reference to instances of it, i.e. the Model does not foresee the description of instances of instances of E56 Language, e.g. “instances of Mandarin Chinese”.
It is recommended that internationally or nationally agreed codes and terminology should be used to denote instances of E56 Language, such as those defined in ISO 639-3:2007 and later versions.

Examples:
- ell [Greek]
- eng [English]
- epo [Esperanto]
- spa [Spanish]
- fra [French]

In First Order Logic:
- E56(x) ⇒ E55(x)


Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property identifies the instances of E57 Materials of which an instance of E18 Physical Thing is composed.
All physical things consist of physical materials. P45 consists of (is incorporated in) allows the different materials to be recorded. P45 consists of (is incorporated in) refers here to observed material as opposed to the consumed raw material.
A material, such as a theoretical alloy, may not have any physical instances.

Examples:
- Silver cup 232 (E22) consists of silver (E57). (fictitious)

In First Order Logic:
- P45(x,y) ⇒ E18(x)
- P45(x,y) ⇒ E57(y)


P28 опека отдана


Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property associates an instance of E93 Presence with an instance of E53 Place that geometrically includes the spatial projection of the respective instance of E93 Presence. Besides others, this property may be used to state in which space an object has been for some known time, such as a room of a castle or in a drawer. It may also be used to describe a confinement of the spatial extent of some realm during a known time-span.
This property is a shortcut of the more fully developed path from E93 Presence through P161 has spatial projection, E53 Place, P89 falls within (contains) to E53 Place.

Examples of the inverse property:
- Johann Joachim Winckelmann’s whereabouts in December 1755 (E93) was within Rome (E53). (Leppmann, 1970)
- Johann Joachim Winckelmann’s whereabouts from 19(th) November 1755 until 9(th) April 1768 (E93) was within Italy (E53). (Leppmann, 1970)

In First Order Logic of the inverse property:
- P167(x,y) ⇒ E93(x)
- P167(x,y) ⇒ E53(y)
- P167(x,y) ⇔ (∃z) [E53(z) ˄ P161(x,z) ˄ P89(z,y)]


P17 был обусловлен посредством


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property identifies the technique or method, modelled as an instance of E55 Type, that was employed in an instance of E7 Activity.
These techniques should be drawn from an external E55 Type hierarchy of consistent terminology of general techniques or methods such as embroidery, oil-painting, carbon dating, etc. Specific documented techniques should be described as instances of E29 Design or Procedure.

Examples of the inverse property:
- The ornamentation of silver cup 113 (E11) used general technique gold-plating (E55). [A Design or Procedure type] (fictitious)

In First Order Logic of the inverse property:
- P32(x,y) ⇒ E7(x)
- P32(x,y) ⇒ E55(y)
- P32(x,y) ⇒ P125(x,y)


E73 Πληροφοριακό Αντικείμενο


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property identifies the instance of E39 Actor who has or has had custody of an instance of E18 Physical Thing at some time. This property leaves open the question if parts of this physical thing have been added or removed during the time-spans it has been under the custody of this actor, but it is required that at least a part which can unambiguously be identified as representing the whole has been under this custody for its whole time. The way, in which a representative part is defined, should ensure that it is unambiguous who keeps a part and who the whole and should be consistent with the identity criteria of the kept instance of E18 Physical Thing.
The distinction with P50 has current keeper (is current keeper of) is that P49 has former or current keeper (is former or current keeper of) leaves open the question as to whether the specified keepers are current.
This property is a shortcut for the more detailed path from E18 Physical Thing through P30i custody transferred through, E10 Transfer of Custody, P28 custody surrendered by or P29 custody received by to E39 Actor.

Examples of the inverse property:
- The paintings from The Iveagh Bequest (E78) has former or current keeper Secure Deliveries Inc. (E74).

In First Order Logic of the inverse property:
- P49(x,y) ⇒ E18(x)
- P49(x,y) ⇒ E39(y)
- P49(x,y) ⇐ (∃z) [E10(z) ˄ P30i(x,z) ˄ [P28(z,y) ˅ P29(z,y) ]]


P107 является действующим или бывшим членом


P130 παρουσιάζει χαρακτηριστικά του/της


P74 a pour résidence actuelle ou antérieure


P52 является текущим владельцем для


P40 наблюдался в


Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates an instance of E18 Physical Thing with another instance of Physical Thing that forms part of it. The spatial extent of the composing part is included in the spatial extent of the whole.
Component elements, since they are themselves instances of E18 Physical Thing, may be further analysed into sub-components, thereby creating a hierarchy of part decomposition. An instance of E18 Physical Thing may be shared between multiple wholes, for example two buildings may share a common wall. This property does not specify when and for how long a component element resided in the respective whole. If a component is not part of a whole from the beginning of existence or until the end of existence of the whole, the classes E79 Part Addition and E90 Part Removal can be used to document when a component became part of a particular whole and/or when it stopped being a part of it. For the time-span of being part of the respective whole, the component is completely contained in the place the whole occupies.
This property is intended to describe specific components that are individually documented, rather than general aspects. Overall descriptions of the structure of an instance of E18 Physical Thing are captured by the P3 has note property.
The instances of E57 Material of which an instance of E18 Physical Thing is composed should be documented using P45 consists of (is incorporated in).
This property is transitive and asymmetric.

Examples of the inverse property:
- The Royal carriage (E22) forms part of the Royal train (E22).
- The “Hog’s Back” (E24) forms part of the “Fosseway” (E24).

In First Order Logic of the inverse property:
- P46(x,y) ⇒ E18(x)
- P46(x,y) ⇒ E18(y)
- P46(x,y) ⇒ P132(x,y)
- [P46(x,y) ∧ P46(y,z)] ⇒ P46(x,z)
- P46(x,y) ⇒ (∃uzw)[E93(u) ∧ P195i (x,u) ∧ E52(z) ∧ P164(u,z) ∧ E93(w) ∧ P195i (w,y) ∧ P164(w,z) ∧ P10(w,u)]
- P46(x,y) ⇒ ¬P46(y,x)


P70 документирует


P44 είναι κατάσταση του


P74 ist derzeitiger oder früherer Sitz von


Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property identifies the instance of E74 Group of which an instance of E39 Actor becomes a member through an instance of E85 Joining.
Although a joining activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which becoming member of one Group implies becoming member of another Group as well.
Joining events allow for describing people becoming members of a group with a more detailed path from E74 Group through, P144i gained member by, E85 Joining, P143 joined, E39 Actor, compared to the shortcut offered by P107 has current or former member (is current or former member of).
The property P144.1 kind of member can be used to specify the type of membership or the role the member has in the group.

Examples:
- The election of Sir Isaac Newton as Member of Parliament to the Convention Parliament of 1689 (E85) joined with the Convention Parliament (E74). (Iliffe, 2013)
- The inauguration of Mikhail Sergeyevich Gorbachev as Leader of the Union of Soviet Socialist Republics (USSR) in 1985 (E85) joined with the office of Leader of the Union of Soviet Socialist Republics (USSR) (E74) kind of member President (E55). (Galeotti, 1997)
- The implementation of the membership treaty 1(st) January 1973 between EU and Denmark (E85) joined with EU (E74).

Properties:
- P144.1 kind of member: E55 Type

In First Order Logic:
- P144(x,y) ⇒ E85(x)
- P144(x,y)⇒ E74(y)
- P144(x,y,z) ⇒ [P144(x,y) ∧ E55(z)]
- P144(x,y) ⇒ P11(x,y)


P98 έφερε στη ζωή


P110 был увеличен посредством


P50 является текущим смотрителем для


P3 имеет примечание


P53 имеет текущее или бывшее местоположение


P25 перемещен посредством


P138 παριστάνει


E58 Μονάδα Μέτρησης


P90 έχει τιμή


Quantification: many to many (0,n:0,n)

Scope note:
This property records the identifier that was deassigned from an instance of E1 CRM Entity.
De-assignment of an identifier may be necessary when an item is taken out of an inventory, a new numbering system is introduced or items are merged or split up.
The same identifier may be deassigned on more than one occasion.

Examples:
- The identifier assignment on 31(st) July 2001 of the silver cup OXCMS:2001.1.32 (E15) deassigned “232” (E42). (fictitious)

In First Order Logic:
- P38(x,y) ⇒ E15(x)
- P38(x,y) ⇒ E42(y)
- P38(x,y) ⇒ P141(x,y)


P82a αρχή της αρχής


Scope note:
This class comprises activities that are designed to, and succeed in, creating one or more new items.
It specializes the notion of modification into production. The decision as to whether or not an object is regarded as new is context sensitive. Normally, items are considered “new” if there is no obvious overall similarity between them and the consumed items and material used in their production. In other cases, an item is considered “new” because it becomes relevant to documentation by a modification. For example, the scribbling of a name on a potsherd may make it a voting token. The original potsherd may not be worth documenting, in contrast to the inscribed one.
This entity can be collective: the printing of a thousand books, for example, would normally be considered a single event.
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 and matter is preserved, but identity is not.

Examples:
- the construction of the SS Great Britain (Gregor, 1971)
- the first casting of the Little Mermaid from the harbour of Copenhagen (Dewey, 2003)
- Rembrandt’s creating of the seventh state of his etching “Woman sitting half dressed beside a stove”, 1658, identified by Bartsch Number 197 (E12, E65, E81) (Hind, 1923)

In First Order Logic:
- E12(x) ⇒ E11(x)
- E12(x) ⇒ E63(x)


Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E13 Attribute Assignment with the instance of E1 CRM Entity about which it made an attribution. The instance of E1 CRM Entity plays the role of the domain of the attribution.
The kind of attribution made should be documented using P177 assigned property of type (is type of property assigned).

Examples:
- The Current Ownership Assessment of Martin Doerr’s silver cup February 1997 (E13) assigned attribute to Martin Doerr’s silver cup (E22). (fictitious)
- The Identifier Assignment on 1(st) June 1997 of the silver cup donated by Martin Doerr (E15) assigned attribute to silver cup 232 (E22). (fictitious)
- The examination of MS Sinai Greek 418 (E13) assigned attribute to MS Sinai Greek 418 (E22). (Honey and Pickwoad, 2010)

In First Order Logic:
- P140(x,y) ⇒ E13(x)
- P140(x,y) ⇒ E1(y)


P105 право принадлежит


E32 Πηγή Καθιερωμένων Όρων


P52 имеет текущего владельца


Quantification: one to many, dependent (0,n:1,1)

Scope note:
This property links an instance of E19 Physical Object to an instance of E26 Physical Feature that it bears.
An instance of E26 Physical Feature can only exist on one object. One object may bear more than one E26 Physical Feature. An instance of E27 Site should be considered as an instance of E26 Physical Feature on the surface of the Earth.
An instance B of E26 Physical Feature being a detail of the structure of another instance A of E26 Physical Feature can be linked to B by use of the property P46 is composed of (forms part of). This implies that the subfeature B is P56i is found on the same E19 Physical Object as A.
This property is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path E19 Physical Object, through, P59 has section, E53 Place, P53i is former or current location of to E26 Physical Feature.

Examples:
- Silver cup 232 (E22) bears feature 32 mm scratch on silver cup 232 (E26). (fictitious)

In First Order Logic:
- P56(x,y) ⇒E19(x)
- P56(x,y) ⇒ E26(y)
- P56(x,y) ⇒ P46(x,y)
- P56(x,y) ⇐ (∃z) [E53(z) ˄ P59(x,z) ˄ P53i(z,y)]


P16 χρησιμοποίησε αντικείμενο


P102 έχει τίτλο