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

Scope note of the inverse property:
This property records the type that was assigned to an entity by an E17 Type Assignment activity.
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).
For example, a fragment of an antique vessel could be assigned the type “attic red figured belly handled amphora” by expert A. The same fragment could be assigned the type “shoulder handled amphora” by expert B.
A Type may be intellectually constructed independent from assigning an instance of it.

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

In First Order Logic of the inverse property:
- P42(x,y) ⇒ E17(x)
- P42(x,y)⇒ E55(y)
- P42(x,y) ⇒ P141(x,y)


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

Scope note:
This property associates an instance of E15 Identifier Assignment with the instance of E90 Symbolic Object used as constituent of an instance of E42 Identifier in this act of assignment.

Examples:
- Assigning the personal name identifier “Guillaume, de Machaut, ca. 1300-1377” on 1(st) June 2001 (E15) used constituent “ca. 1300-1377” (E41). (Kelly, 2014)
- Assigning a uniform title to the anonymous textual work known as ‘The Adoration of the Shepherds’(E15) used constituent “Coventry” (E41). (Encyclopedia Britannica, 1998)
- Assigning a uniform title to Pina Bausch’s choreographic work entitled ‘Rite of spring’ (E15) used constituent “(Choreographic Work: Bausch)” (E90). (Brandstetter and Klein, 2015)
- Assigning a uniform title to the motion picture directed in 1933 by Merian C. Cooper and Ernest B. Schoedsack and entitled ‘King Kong’ (E15) used constituent “1933” (E61). (Goldner and Turner, 1976)
- Assigning the corporate name identifier ‘Univerza v Ljubljani. Oddelek za bibliotekarstvo’ to The Department for library science of the University of Ljubljana in 2018 (E15) used constituent “Univerza v Ljubljani” (E42). [Done by the Department of Library and Information Science and Book Studies Library, University of Ljubljana in 2018]

In First Order Logic:
- P142(x,y) ⇒ E15(x)
- P142(x,y) ⇒ E90(y)
- P142(x,y) ⇒ P16(x,y)


E31 Документ


E58 Единица Измерения


P141 присвоил


P99 распустил


P96 дал рождение


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)


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


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 E95 Spacetime Primitive with the instance of E92 Spacetime Volume it defines.

Examples of the inverse property:
- {40°30'23"N 21°14'53"E, 40°31'40"N 21°16'43"E, 200BC-2020AD} (E95) defines spacetime volume Martin’s spatiotemporal enclosure 2020 for the evolution of the settlement of today’s city of Kastoria, Greece, since its conquest by the Romans (E92). [A square covering the current built settlement structure of Kastoria, Greece, through the years 200BC to 2020AD, which includes the extents of earlier phases of the city]

In First Order Logic of the inverse property:
- P169(x,y) ⇒ E95(x)
- P169(x,y) ⇒ E92(y)
- P169(x,y) ⇒ P1i(x,y)


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 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 of the inverse property:
- The death of Mozart (E69) took out of existence Mozart (E21). (Deutsch, 1965)

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


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

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

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


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

Scope note:
This property identifies the instance of E57 Material employed in an instance of E11 Modification.
The instance of E57 Material used during the instance of E11 Modification does not necessarily become incorporated into the instance of E24 Physical Human-Made Thing that forms the subject of the instance of E11 Modification.

Examples:
- The repairing of the Queen Mary (E11) employed Steel (E57). [Beginning October 1942] (Britton, 2012)
- Distilled water (E57) was employed in the restoration of the Sistine Chapel (E11). (Pietrangeli, 1986)

In First Order Logic:
- P126(x,y) ⇒ E11(x)
- P126(x,y) ⇒ E57(y)


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: one to one (1,1:1,1)

Scope note:
This property describes the length of time covered by an instance of E52 Time-Span. It allows an instance of E52 Time-Span to be associated with an instance of E54 Dimension representing duration independent from the actual beginning and end. Indeterminacy of the duration value can be expressed by assigning a numerical interval to the property P90 has value of E54 Dimension.

Examples:
- The time-span of the Battle of Issos 333 B.C.E. (E52) had duration Battle of Issos duration (E54). (Howard, 2012)

In First Order Logic:
- P191(x,y) ⇒ E52(x)
- P191(x,y) ⇒ E54(y)


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

Scope note of the inverse property:
This is a high-level property, which captures the relationship between an instance of E7 Activity and anything, that is, an instance of E1 CRM Entity, that may have had some bearing upon it.
The property has more specific subproperties.

Examples of the inverse property:
- The designing of the Sydney Harbour Bridge (E7) was influenced by the Tyne Bridge (E22). (Dorman Long, 1932)

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


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

Scope note:
This property associates an instance of E13 Attribute Assignment with the type of property or relation that this assignment maintains to hold between the item to which it assigns an attribute and the attribute itself. Note that the properties defined by the CIDOC CRM also constitute instances of E55 Type themselves. The direction of the assigned property of type is understood to be from the attributed item (the range of property P140 assigned attribute to) to the attribute item (the range of the property P141 assigned). More than one property type may be assigned to hold between two items.
A comprehensive explanation about refining CIDOC CRM concepts by E55 Type is given in the section “About Types” in the section on “Specific Modelling Constructs” of this document.

Examples:
- The Current Ownership Assessment of Martin Doerr’s silver cup February 1997 (E13) assigned property of type P52 has former or current owner (is former or current keeper of) (E55). (fictitious)
- 1(st) June 1997 Identifier Assignment of the silver cup donated by Martin Doerr (E15) assigned property of type P48 has preferred identifier (is preferred identifier of) (E55). (fictitious)
- The examination of MS Sinai Greek 418 (E13) assigned property of type binding structure type (E55). [‘binding structure type’ refers to a property, external to the CIDOC CRM, which connects a book (E22) to the type of its binding structure (E55)] (Honey & Pickwoad, 2010)
- The condition assessment of the endband cores of MS Sinai Greek 418 (E14) assigned property of type damage (E55). [‘damage’ refers to a property, external to the CIDOC CRM, which connects an instance of a physical thing like an endband core (E22) to the type of damage (E55) it shows] (Honey & Pickwoad, 2010)
- The condition assessment of the cover of MS Sinai Greek 418 (E14) assigned property of type quality (E55). [‘quality’ refers to a property, external to the CIDOC CRM, which connects an instance of a physical thing like a book cover (E22) to its quality (E55)] (Honey and Pickwoad, 2010)

In First Order Logic:
- P177(x,y) ⇒ E13(x)
- P177(x,y) ⇒ E55(y)


E83 Δημιουργία Τύπου


P55 είναι θέση του


P97 ήταν πατέρας του/της


P79 начало ограничено


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


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

Scope note of the inverse property:
This property identifies an instance of E53 Place that falls wholly within the extent of another instance of E53 Place.
It addresses spatial containment only and does not imply any relationship between things or phenomena occupying these places.
This property is transitive and reflexive.

Examples of the inverse property:
- The area covered by the World Heritage Site of Stonehenge (E53) falls within the area of Salisbury Plain (E53). (Pryor, 2016)

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


Scope note:
This class comprises people, either individually or in groups, who have the potential to perform intentional actions of kinds for which they can be held responsible.

Examples:
- London and Continental Railways (E74)
- the Governor of the Bank of England in 1975 (E21)
- Sir Ian McKellen (E21) (Gibson, 1986)

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


P27 ήταν αφετηρία του/της


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

Scope note:
This property generalises relationships like whole-part, sequence, prerequisite or inspired by between instances of E29 Design or Procedure. Any instance of E29 Design or Procedure may be associated with other designs or procedures. The property is considered to be symmetrical unless otherwise indicated by P69.1 has type. The property is not transitive.
This property is a directed relationship. The P69.1 has type property of P69 has association with allows the nature of the association to be specified reading from domain to range; examples of types of association between instances of E29 Design or Procedure include: has part, follows, requires, etc.
Instances of this property are considered to be symmetric, in case no directed sense is provided for them by the property P69.1 has type.
The property can typically be used to model the decomposition of the description of a complete workflow into a series of separate procedures.

Examples:
- The procedure for glass blowing (E29) has association with the procedure for glass heating (E29). (Brooks, 1973)
- The set of instructions for performing Macbeth in Max Reinhardt's production in 1916 in Berlin at Deutsches Theater (E29) has association with the scene design drawing by Ernst Stern reproduced at http://www.glopad.org/pi/fr/record/digdoc/1003814 (E29) has type has part (E55).
- The preparation of parchment (E29) has association with soaking and unhairing of skin (E29) has type has part (E55).
- Stretching of skin (E29) has association with soaking and unhairing of skin (E29) has type follows (E55). (Poole and Reed, 1962)
- The plan for reassembling the temples at Abu Simbel (E29) has association with the plan for storing and transporting the blocks (E29) has type follows (E55). (Loubiere, 1995)

Properties:
- P69.1 has type: E55 Type

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


P99 был распущен посредством


P97 был отцом для


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


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


P19 ήταν προορισμένη χρήση του


P124 μετέτρεψε


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


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

Scope note of the inverse property:
This property links an instance of E71 Human-Made Thing to an instance of E55 Type of usage or audience. It creates a relation between specific human-made things, both physical and immaterial, to E55 Types. This property can be used to specify intended methods and techniques of use or to characterise the intended audience by indicating a type of personal characteristic that everyone falling into the target audience has.
Note: A link between specific human-made things and a specific use activity should be expressed using P19 was intended use of (was made for).

Examples of the inverse property:
- This plate (E22) was intended for being destroyed at wedding reception (E55). (fictitious)
- “Reading for life, a first book for adults and their tutors” (E28) was intended for adult literacy learners in the English language (E55). (Allen, 1987)
- “Piglet has a bath” (E28), published on sealed plastic pages, was intended for young children having a bath (E55). (Milne & Shepard, 1998)

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


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)


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

Scope note:
This property associates an instance of E90 Symbolic Object with a part of it that is by itself an instance of E90 Symbolic Object, such as fragments of texts or clippings from an image.
This property is transitive asymmetric.

Examples:
- This Scope note of property P106 (E33) is composed of ‘fragments of texts’ (E33).
- ‘recognizable’ (E90) is composed of ‘ecognizabl’ (E90).

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


P29 παρέλαβε κατοχή μέσω


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

Scope note of the inverse property:
This property describes the temporal projection of an instance of E92 Spacetime Volume. The property P4 has time-span is the same as P160 has temporal projection if it is used to document an instance of E4 Period or any subclass of it.

Examples of the inverse property:
- The spatio-temporal trajectory of the H.M.S. Temeraire from its building in 1798 to its destruction in 1838 (E92) has temporal projection the time-span of the existence of H.M.S. Temeraire (E52) [at some time within (P82) “1798-1838” (E61).] (Willis, 2010)
- The Battle of Waterloo 1815 (E7) has temporal projection the time-span of the Battle of Waterloo (E52) [at some time within (P82) “Sunday, 18(th) June 1815” (E61).] (Black, 2010)

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


P109 是当前或以往管理者


E29 Проект или Процедура


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 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 of the inverse property:
- 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 of the inverse property:
- 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 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)]


P175 commence après ou au moment du début de


P34 имел дело с


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

Scope note of the inverse property:
This property associates an instance of E32 Authority Document with an instance of E1 CRM Entity which it lists for reference purposes.

Examples of the inverse property:
- The Art & Architecture Thesaurus (E32) lists alcazars (E55). (http://vocab.getty.edu/page/aat/300006897)

In First Order Logic of the inverse property:
- P71(x,y) ⇒ E32(x)
- P71(x,y) ⇒ E1(y)
- P71(x,y) ⇒ P67(x,y)


P128 переносится посредством


P23 transferiu os direitos de propriedade de


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

Scope note of the inverse property:
This property associates an instance of E61 Time Primitive with the instance of E52 Time-Span that constitutes the interpretation of the terms of the time primitive as an extent in absolute, real time.
The quantification allows several instances of E61 Time Primitive that are each expressed in different syntactic forms, to define the same instance of E52 Time-Span.

Examples of the inverse property:
- “1800/1/1 0:00:00 – 1899/31/12 23:59:59” (E61) defines time the 19(th) century (E52).
- “1968/1/1 – 2018/1/1” (E61) defines time 1968/1/1 – 2018/1/1 (E52). [an arbitrary time-span during which the Saint Titus reliquary was present in the Saint Titus Church in Heraklion, Crete]

In First Order Logic of the inverse property:
- P170(x,y) ⇒ E61(x)
- P170(x,y) ⇒ E52(y)
- P170(x, y) ⇒ P81i(x, y) ∧ P82i(x, y)


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

Scope note of the inverse property:
This property identifies the instance of E55 Type, which is created in an instance of E83 Type Creation activity.

Examples of the inverse property:
- The description of a new ribbon worm species by Bürger (E83) created type ‘Lineus kennelii’ (E55). (Bürger, 1892)

In First Order Logic of the inverse property:
- P135(x,y) ⇒ E83(x)
- P135(x,y) ⇒ E55(y)
- P135(x,y) ⇒ P94(x,y)


P49 est l’actant détenteur actuel ou antérieur de


P12 συνέβη παρουσία του/της


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)


P49 a pour actant détenteur actuel ou antérieur


P26 был пунктом назначения для


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

Scope note:
This property records the foreseen permanent location of an instance of E19 Physical Object at the time of validity of the record or database containing the statement that uses this property.
P54 has current permanent location (is current permanent location of) is similar to P55 has current location (currently holds). However, it indicates the E53 Place currently reserved for an object, such as the permanent storage location or a permanent exhibit location. The object may be temporarily removed from the permanent location, for example when used in temporary exhibitions or loaned to another institution. The object may never actually be located at its permanent location.

Examples:
- Silver cup 232 (E22) has current permanent location Shelf 3.1, Store 2, Museum of Oxford (E53). (fictitious)

In First Order Logic:
- P54(x,y) ⇒ E19(x)
- P54(x,y) ⇒ E53(y)


P134 συνέχισε


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


Scope note:
This class describes the act of assessing the state of preservation of an object during a particular period.
The condition assessment may be carried out by inspection, measurement, or through historical research. This class is used to document circumstances of the respective assessment that is relevant to interpret its quality at a later stage, or to continue research on related documents.

Examples:
- last year’s inspection of humidity damage to the frescos in the St. George chapel in our village (fictitious)
- the condition assessment of the endband cores of MS Sinai Greek 418 by Nicholas Pickwoad in November 2003 (Honey & Pickwoad, 2010)
- the condition assessment of the cover of MS Sinai Greek 418 by Nicholas Pickwoad in November 2003 (Honey & Pickwoad, 2010)

In First Order Logic:
- E14(x) ⇒ E13(x)


E6 Разрушение


P10 εμπίπτει


P7 έλαβε χώρα σε


E26 Физический Признак


P12 присутствовал при


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)


P41 χαρακτηρίσθηκε από


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

Scope note:
This property describes the relationship between a preparatory activity, an instance of E7 Activity and the instance of E5 Event that it is intended as a preparation for.
This includes activities, orders and other organisational actions, taken in preparation for other activities or events.
P20 had specific purpose (was purpose of) implies that the activity succeeded in achieving its aim. If it does not succeed, such as the setting of a trap that did not catch anything, the unrealized intention should be documented using P21 had general purpose (was purpose of): E55 Type and/or P33 used specific technique (was used by): E29 Design or Procedure.

Examples:
- Van Eyck’s pigment grinding in 1432 (E7) had specific purpose the painting of the Ghent altar piece (E12). (Borchert, 2008)

In First Order Logic:
- P20(x,y) ⇒ E7(x)
- P20(x,y) ⇒ E5(y)


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

Scope note:
This is a high-level property, which captures the relationship between an instance of E7 Activity and anything, that is, an instance of E1 CRM Entity, that may have had some bearing upon it.
The property has more specific subproperties.

Examples:
- The designing of the Sydney Harbour Bridge (E7) was influenced by the Tyne Bridge (E22). (Dorman Long, 1932)

In First Order Logic:
- P15(x,y) ⇒ E7(x)
- P15(x,y) ⇒ E1(y)


P140 απέδωσε ιδιότητα σε


P72 έχει γλώσσα


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

Scope note:
This property associates an instance of E90 Symbolic Object with a complete, identifying representation of its content in the form of an instance of E62 String.
This property only applies to instances of E90 Symbolic Object that can be represented completely in this form. The representation may be more specific than the symbolic level defining the identity condition of the represented. This depends on the type of the symbolic object represented. For instance, if a name has type “Modern Greek character sequence”, it may be represented in a loss-free Latin transcription, meaning however the sequence of Greek letters.
As another example, if the represented object has type “English words sequence”, American English or British English spelling variants may be chosen to represent the English word “colour” without defining a different symbolic object. If a name has type “European traditional name”, no particular string may define its content.

Examples:
- The materials description of the painting (E33) has symbolic content “Oil, French Watercolors on Paper, Graphite and Ink on Canvas, with an Oak frame.” (E62).
- The title of Einstein’s 1915 text (E35) has symbolic content “Relativity, the Special and the General Theory” (E62). (Einstein, 2001)
- The story of Little Red Riding Hood (E33) has symbolic content “Once upon a time there lived in a certain village.” (E62). (Lang, 1965)
- The inscription on Rijksmuseum object SK-A-1601 (E34) has symbolic content “B” (E62). [reference: https://www.rijksmuseum.nl/en/collection/SK-A-1601/catalogue-entry (accessed 10(th) April 2021)]

In First Order Logic:
- P190(x,y) ⇒ E90(x)
- P190(x,y) ⇒ E62(y)


P30 άλλαξε κατοχή μέσω


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


E30 Δικαίωμα


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)]


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

Scope note:
This property associates an instance of E32 Authority Document with an instance of E1 CRM Entity which it lists for reference purposes.

Examples:
- The Art & Architecture Thesaurus (E32) lists alcazars (E55). (http://vocab.getty.edu/page/aat/300006897)

In First Order Logic:
- P71(x,y) ⇒ E32(x)
- P71(x,y) ⇒ E1(y)
- P71(x,y) ⇒ P67(x,y)


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

Scope note of the inverse property:
This property describes the active or passive participation of instances of E39 Actors in an instance of E5 Event.
It documents known events in which an instance of E39 Actor has participated during the course of that actor’s life or history. The instances of E53 Place and E52 Time-Span where and when these events happened provide constraints about the presence of the related instances of E39 Actor in the past. Collective actors, i.e. instances of E74 Group, may physically participate in events via their representing instances of E21 Persons only. The participation of multiple actors in an event is most likely an indication of their acquaintance and interaction.
The property implies that the actor was involved in the event but does not imply any causal relationship. For instance, someone having been portrayed can be said to have participated in the creation of the portrait.

Examples of the inverse property:
- Napoleon (E21) participated in The Battle of Waterloo (E7). (Dawson, 2018)
- Maria (E21) participated in Photographing of Maria (E7). (fictitious)

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


P1 идентифицирует


P48 имеет предпочтительный идентификатор


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

Scope note of the inverse property:
This property identifies the instance or instances of E18 Physical Thing that are the result of an instance of E81 Transformation. New items replace the transformed item or items, which cease to exist as units of documentation. The physical continuity between the old and the new is expressed by the links to the common instance of E81 Transformation.

Examples of the inverse property:
- The transformation of the Venetian Loggia in Heraklion into a city hall (E81, E12) resulted in the City Hall of Heraklion (E24). [AND: has produced (P108) the City Hall of Heraklion (E22)] (Municipality of Heraklion, 2021)
- The mummification of Tut-Ankh-Amun (E81, E12) resulted in the mummy of Tut-Ankh-Amun (E22,E20). [also: has produced (P108) the mummy of Tut-Ankh-Amun (E22, E20).] (Carter & Mace 1977)
- The death, carbonization and petrification of some people of Pompeii in 79AD by the intense heat of a pyroclastic cloud and ashes from the eruption of Mount Vesuvius (E69, E81) resulted in petrified bodies (E20). [Some of these bodies could later be preserved in plaster.]

In First Order Logic of the inverse property:
- P123(x,y) ⇒ E81(x)
- P123(x,y) ⇒ E18(y)
- P123(x,y) ⇒ P92(x,y)


Scope note:
This class comprises those material or immaterial items to which instances of E30 Right, such as the right of ownership or use, can be applied.
This is generally true for all instances of E18 Physical Thing. In the case of instances of E28 Conceptual Object, however, the identity of an instance of E28 Conceptual Object or the method of its use may be too ambiguous to reliably establish instances of E30 Right, as in the case of taxa and inspirations. Ownership of corporations is currently regarded as out of scope of the CIDOC CRM.

Examples:
- the Cullinan diamond (E19) (Scarratt and Shor, 2006)
- definition of the CIDOC Conceptual Reference Model Version 5.0.4 (E73) (ISO 21127: 2014)

In First Order Logic:
- E72(x) ⇒ E70(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 E1 CRM Entity with an instance of E55 Type for which it has been declared to be a particularly characteristic example.
The P137.1 in the taxonomic role property of P137 exemplifies (is exemplified by) allows differentiation of taxonomic roles. The taxonomic role renders the specific relationship of this example to the type, such as “prototypical”, “archetypical”, “lectotype”, etc. The taxonomic role “lectotype” is not associated with the instance of E83 Type Creation itself but is selected in a later phase.

Examples of the inverse property:
- Object BM000098044 of the Clayton Herbarium (E20) exemplifies ‘Spigelia marilandica’ (L.) L. (E55) in the taxonomic role lectotype (E55). (Natural History Museum, 2021)

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


P16 использовал особый объект


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

Scope note:
This property identifies the instance of E39 Actor who holds the instances of E30 Right to an instance of E72 Legal Object.
It is a superproperty of P52 has current owner (is current owner of) because ownership is a right that is held on the owned object.
This property is a shortcut of the fully developed path from E72 Legal Object, P104 is subject to, E30 Right, P75i is possessed by to E39 Actor.

Examples:
- The Beatles back catalogue (E73) right held by Michael Jackson (E21). (Raga, 2016)

In First Order Logic:
- P105(x,y) ⇒ E72(x)
- P105(x,y) ⇒ E39(y)
- P105(x,y) ⇐ (∃z) [E30(z) ˄ P104(x,z) ˄ P75i(z,y)]


P90 έχει τιμή


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

Scope note:
This property associates an instance of E39 Actor to an instance of E41 Appellation which a communication service uses to direct communications to this actor, such as an e-mail address, fax number, or postal address.

Examples:
- The Research Libraries Group, Inc. (RLG) (E74) has contact point “bl.ric@rlg.org” (E41)

In First Order Logic:
- P76(x,y) ⇒ E39(x)
- P76(x,y) ⇒ E41(y)


P125 был типом объекта использованного в


P137 δειγματίζεται από


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)


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

Scope note:
This property describes the temporal projection of an instance of E92 Spacetime Volume. The property P4 has time-span is the same as P160 has temporal projection if it is used to document an instance of E4 Period or any subclass of it.

Examples:
- The spatio-temporal trajectory of the H.M.S. Temeraire from its building in 1798 to its destruction in 1838 (E92) has temporal projection the time-span of the existence of H.M.S. Temeraire (E52) [at some time within (P82) “1798-1838” (E61).] (Willis, 2010)
- The Battle of Waterloo 1815 (E7) has temporal projection the time-span of the Battle of Waterloo (E52) [at some time within (P82) “Sunday, 18(th) June 1815” (E61).] (Black, 2010)

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


E19 Υλικό Αντικείμενο


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

Scope note:
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:
- 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)

Properties:
- P136.1 in the taxonomic role: E55 Type

In First Order Logic:
- 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)


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

Scope note:
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:
- 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:
- P44(x,y) ⇒ E18(x)
- P44(x,y) ⇒ E3(y)
- P44(x,y) ⇐ (∃z) [E14(z) ˄ P34i(x,z) ˄ P35(z,y)]


P129 είναι θέμα του/της


Scope note:
This class comprises activities that result in the allocation of an identifier to an instance of E1 CRM Entity. An instance of E15 Identifier Assignment may include the creation of the identifier from multiple constituents, which themselves may be instances of E41 Appellation. The syntax and kinds of constituents to be used may be declared in a rule constituting an instance of E29 Design or Procedure.
Examples of such identifiers include Find Numbers, Inventory Numbers, uniform titles in the sense of librarianship and Digital Object Identifiers (DOI). Documenting the act of identifier assignment and deassignment is especially useful when objects change custody or the identification system of an organization is changed. In order to keep track of the identity of things in such cases, it is important to document by whom, when, and for what purpose an identifier is assigned to an item.
The fact that an identifier is a preferred one for an organisation can be expressed by using the property E1 CRM Entity. P48 has preferred identifier (is preferred identifier of): E42 Identifier. It can better be expressed in a context independent form by assigning a suitable E55 Type, such as “preferred identifier assignment”, to the respective instance of E15 Identifier Assignment through the P2 has type (is type of) property.

Examples:
- replacement of the inventory number TA959a by GE34604 for a 17(th) century lamentation cloth at the Museum Benaki, Athens
- assigning the author and uniform title heading “Goethe, Johann Wolfgang von, 1749-1832. Faust. 1. Theil.” to a work
- on 1(st) June 2001, assigning the personal name heading “Guillaume, de Machaut, ca. 1300-1377” to Guillaume de Machaut (Kelly, 2014)

In First Order Logic:
- E15(x) ⇒ E13(x)


P65 εμφανίζεται σε


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


P15 оказал влияние на


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)]


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

Scope note of the inverse property:
This property associates an instance of E12 Production with the instance of E99 Production Type, that is, the type of the things it produces.

Examples of the inverse property:
- The production activity of the Volkswagen factory related to the “Standard limousine Type II” during 1949-1953 (E12) produced thing of product type Volkswagen Type 11 (Beetle) (E99). (Rieger, 2013)

In First Order Logic of the inverse property:
- P186(x,y) ⇒ E12(x)
- P186(x,y) ⇒ E99(y)
- P186(x,y) ⇒ (∃z) [E24(z) ∧ P108(x,z) ∧ P2(z,y)]


P14 выполнял


P125 是使用的对象类型


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


P100 πέθανε σε


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)


P126 χρησιμοποίησε


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

Scope note of the inverse property:
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 of the inverse property:
- 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 of the inverse property:
- P38(x,y) ⇒ E15(x)
- P38(x,y) ⇒ E42(y)
- P38(x,y) ⇒ P141(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 E87 Curation Activity with the instance of E78 Curated Holding with that is subject of that curation activity following some implicit or explicit curation plan.

Examples of the inverse property:
- The curation activity of the Benaki Museum for the Toys, Games and Childhood Collection (E87) curated The Toys, Games and Childhood Collection of the Benaki Museum (E78). [The curation activity included the acquisition of dolls and games of urban and folk manufacture dating from the 17(th) to the 20(th) century, from England, France and Germany for the Toys, Games and Childhood Collection of the museum.] (Benaki Museum, 2016)
- The curation activity for the permanent Numismatic Collection of the Historical Museum of Crete, Heraklion, Crete from 2005 up to the present (E87) curated the Numismatic Collection (E78). (Historical Museum of Crete, 2005)
- The curation activity of Mikael Heggelund Foslie (E87) curated the Mikael Heggelund Foslie’s coralline red algae Herbarium (E78). (Woelkerling et al., 2005)

In First Order Logic of the inverse property:
- P147(x,y) ⇒ E87(x)
- P147(x,y) ⇒ E78(y)


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

Scope note:
This property is a container for all informal descriptions about an object that have not been expressed in terms of CIDOC CRM constructs.
In particular, it captures the characterisation of the item itself, its internal structures, appearance, etc.
Like property P2 has type (is type of), this property is a consequence of the restricted focus of the CIDOC CRM. The aim is not to capture, in a structured form, everything that can be said about an item; indeed, the CIDOC CRM formalism is not regarded as sufficient to express everything that can be said. Good practice requires use of distinct note fields for different aspects of a characterisation. The P3.1 has type property of P3 has note allows differentiation of specific notes, e.g. “construction”, “decoration”, etc.
An item may have many notes, but a note is attached to a specific item.

Examples:
- Coffee mug – OXCMS:1983.1.1 (E19) has note “chipped at edge of handle” (E62) has type Condition (E55). (fictitious)

Properties:
- P3.1 has type: E55 Type

In First Order Logic:
- P3(x,y) ⇒ E1(x)
- P3(x,y) ⇒ E62(y)
- P3(x,y,z) ⇒ [P3(x,y) ∧ E55(z)]


E72 Νομικό Αντικείμενο


P43 είναι μέγεθος του


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

Scope note:
This property allows sub-typing of CIDOC CRM entities –a form of specialisation – through the use of a terminological hierarchy, or thesaurus.
The CIDOC CRM is intended to focus on the high-level entities and relationships needed to describe data structures. Consequently, it does not specialise entities any further than is required for this immediate purpose. However, entities in the isA hierarchy of the CIDOC CRM may by specialised into any number of sub-entities, which can be defined in the E55 Type hierarchy. E41 Appellation, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL”, etc., none of which figures explicitly in the CIDOC CRM class hierarchy. A comprehensive explanation about refining CIDOC CRM concepts by E55 Type is given in the section “About Types” in the section on “Specific Modelling Constructs” of this document.
This property is a shortcut for the path from E1 CRM Entity through P41i was classified by, E17 Type Assignment, P42 assigned to E55 Type.

Examples:
- “enquiries@cidoc-crm.org” (E41) has type e-mail address (E55). (fictitious)

In First Order Logic:
- P2(x,y) ⇒ E1(x)
- P2(x,y) ⇒ E55(y)
- P2(x,y) ⇐ (∃z) [E17(z)] ˄ P41i(x,z) ˄ P42(z,y)]


P102 имеет заголовок


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)


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)


P49 είναι ή ήταν στην κατοχή του


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

Scope note:
This property records an instance of E54 Dimension of some instance of E70 Thing.
In the case that the recorded property is a result of a measurement of an instance of E18 Physical Thing, this property is a shortcut of the more fully developed path from E18 Physical Thing through P39i was measured by, E16 Measurement, P40 observed dimension to E54 Dimension.
It offers no information about how and when an E54 Dimension was established, nor by whom. Knowledge about an instance of E54 Dimension need not be the result of a measurement; it may be the result of evaluating data or other information, which should be documented as an instance of E13 Attribute Assignment.
An instance of E54 Dimension is specific to an instance of E70 Thing.

Examples:
- Silver cup 232 (E22) has dimension height of silver cup 232 (E54). [which has unit (P91) mm (E58), has value (P90) 224 (E60)] (fictitious)

In First Order Logic:
- P43(x,y) ⇒ E70(x)
- P43(x,y) ⇒ E54(y)
- P43(x,y) ⇐ (∃z) [E16(z) ˄ P39i(x,z) ˄ P40(z,y)]


P89 περιέχει


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

Scope note:
This property associates an instance of E93 Presence with the instance of E18 Physical Thing of which it represents a temporal restriction (i.e. a time-slice) of the thing’s trajectory through spacetime. In other words, it describes where the instance of E18 Physical Thing was or moved around within a given time-span. Instantiating this property constitutes a necessary part of the identity of the respective instance of E93 Presence.
This property is a shortcut of the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P166 was a presence of (had presence) to E93 Presence.

Examples:
- Johann Joachim Winckelmann’s whereabouts in December 1755 (E93) was a presence of Johann Joachim Winckelmann (E21). (Wiencke, 1998)
- Johann Joachim Winckelmann’s whereabouts from 19(th) November 1755 until 9(th) April 1768 (E93) was a presence of Johann Joachim Winckelmann (E21). (Wiencke, 1998)

In First Order Logic:
- P195(x,y) ⇒ E93(x)
- P195(x,y) ⇒ E18(y)
- P195(x,y) ⇔ (∃z)[E92(z) ∧ P166(z,x) ∧ P196i(z,y)]


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

Scope note of the inverse property:
This property describes the CRM Entities documented as instances of E31 Document.
Documents may describe any conceivable entity, hence the link to the highest-level entity in the CIDOC CRM class hierarchy. This property is intended for cases where a reference is regarded as making a proposition about reality. This may be of a documentary character, in the scholarly or scientific sense, or a more general statement.

Examples of the inverse property:
- The ‘Catalogue of the Greek coins of Arabia, Mesopotamia and Persia’ (E31) documents parts of the British Museum’s Collection (E78). (British Museum & Hill, 1922)

In First Order Logic of the inverse property:
- P70(x,y) ⇒ E31(x)
- P70(x,y) ⇒ E1(y)
- P70(x,y) ⇒ P67(x,y)


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)


P112 был уменьшен посредством


E66 Событие Формирования


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

Scope note:
This property identifies the instance of E18 Physical Thing that is added during an instance of E79 Part Addition activity.

Examples:
- The insertion of the final nail (E79) added the last nail in George VI’s coffin (E22). (https://www.rct.uk/collection/2000811/the-coffin-of-king-george-vi-during-the-lying-in-state)

In First Order Logic:
- P111(x,y) ⇒ E79(x)
- P111(x,y) ⇒ E18(y)
- P111(x,y) ⇒ P16(x,y)


E7 Деятельность


P107 hat derzeitiges oder früheres Mitglied


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

Scope note:
This property describes the current or former place of residence (an instance of E53 Place) of an instance of E39 Actor.
The residence may be either the place where the actor resides, or a legally registered address of any kind.

Examples:
- Queen Elizabeth II (E39) has current or former residence Buckingham Palace (E53). (Robinson, 2000)

In First Order Logic:
- P74(x,y) ⇒ E39(x)
- P74(x,y) ⇒ E53(y)


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)


E81 Μετατροπή


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

Scope note of the inverse property:
This property documents that an instance of E89 Propositional Object has as subject an instance of E1 CRM Entity.
This differs from P67 refers to (is referred to by), which refers to an instance of E1 CRM Entity, in that it describes the primary subject or subjects of an instance of E89 Propositional Object.

Examples of the inverse property:
- The text entitled ‘Reach for the sky’ (E33) is about Douglas Bader (E21). (Brickhill, 2001)

In First Order Logic of the inverse property:
- P129(x,y) ⇒ E89(x)
- P129(x,y) ⇒ E1(y)
- P129(x,y) ⇒ P67(x,y)


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

Scope note of the inverse property:
This property associates an instance of E39 Actor to an instance of E41 Appellation which a communication service uses to direct communications to this actor, such as an e-mail address, fax number, or postal address.

Examples of the inverse property:
- The Research Libraries Group, Inc. (RLG) (E74) has contact point “bl.ric@rlg.org” (E41)

In First Order Logic of the inverse property:
- P76(x,y) ⇒ E39(x)
- P76(x,y) ⇒ E41(y)


P51 hat früheren oder derzeitigen Besitzer


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


E8 Событие Приобретения


P113 αφαιρέθηκε από


P74 est la résidence actuelle ou antérieure de


P139 έχει εναλλακτική μορφή


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 E18 Physical Thing modified in an instance of E11 Modification.

Examples of the inverse property:
- The rebuilding of the German Reichstag in Berlin (E11) has modified the Reichstag in Berlin (E24). (Foster, 2000)

In First Order Logic of the inverse property:
- P31(x,y) ⇒ E11(x)
- P31(x,y) ⇒ E18(y)
- P31(x,y) ⇒ P12(x,y)


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)


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


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


P35 идентифицирован посредством


P33 использовал особую технику


P109 έχει ή είχε επιμελητή


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 E67 Birth event to an instance of E21 Person in the role of offspring.
Twins, triplets etc. are brought into life by the same instance of E67 Birth. 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.

Examples of the inverse property:
- The Birth of Queen Elizabeth II (E67) brought into life Queen Elizabeth II (E21). (Parker, 2002)

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


P98 γεννήθηκε


E64 Конец Существования


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)]


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

Scope note of the inverse property:
This property identifies the instance or instances E18 Physical Thing that have ceased to exist due to an instance of E81 Transformation.
The item that has ceased to exist and was replaced by the result of the Transformation. The continuity between both items, the new and the old, is expressed by the links to the common instance of E81 Transformation.

Examples of the inverse property:
- The transformation of the Venetian Loggia in Heraklion into a city hall (E81, E12) transformed the Venetian Loggia in Heraklion (E24). (Municipality of Heraklion, 2021)
- The mummification of Tut-Ankh-Amun (E81, E12) transformed the deceased Pharaoh Tut-Ankh-Amun (E21). (Carter & Mace, 1977)
- The death, carbonization and petrification of some people of Pompeii in 79AD by the intense heat of a pyroclastic cloud and ashes from the eruption of Mount Vesuvius (E69, E81) transformed some people of Pompeii (E21). [AND: was death of (P100) some people of Pompeii (E21).]

In First Order Logic of the inverse property:
- P124(x,y) ⇒ E81(x)
- P124(x,y) ⇒ E18(y)
- P124(x,y) ⇒ P93(x,y)


P44 имеет условие


P135 создал тип


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


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


P55 βρίσκεται σε


P72 является языком для


P109 est responsable actuel ou antérieur de la collection


Scope note:
This class comprises recognisable texts that can be attached to instances of E24 Physical Human-Made Thing.
The transcription of the text can be documented in a note by P3 has note: E62 String. The alphabet used can be documented by P2 has type: E55 Type. This class is not intended to describe the idiosyncratic characteristics of an individual physical embodiment of an inscription, but the underlying prototype. The physical embodiment is modelled in the CIDOC CRM as instances of E24 Physical Human-Made Thing.
The relationship of a physical copy of a book to the text it contains is modelled using E18 Physical Thing. P128 carries (is carried by): E33 Linguistic Object.

Examples:
- “keep off the grass” [on a sign stuck in the lawn of the quad of Balliol College, Oxford, UK]
- the text published in Corpus Inscriptionum Latinarum V 895 (Mommsen, 1872)
- “Kilroy was here”

In First Order Logic:
- E34(x) ⇒ E33(x)
- E34(x) ⇒ E37(x)


P81 длится в течение


Scope note:
This class comprises legal privileges concerning material and immaterial things or their derivatives.
These include reproduction and property rights.

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

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


P1 идентифицируется посредством


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


P108 παρήγαγε


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


P32 использовал общую технику


P109 hat derzeitigen oder früheren Kurator


P86 περιέχει


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)


P76 имеет контакт


P104 является объектом для


P101 имел основное применение


P182 se termine avant ou au moment du début de


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)


P22 adquiriu os direitos de propriedade por meio da


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

Scope note:
This property identifies the instance of E55 Type, which is created in an instance of E83 Type Creation activity.

Examples:
- The description of a new ribbon worm species by Bürger (E83) created type ‘Lineus kennelii’ (E55). (Bürger, 1892)

In First Order Logic:
- P135(x,y) ⇒ E83(x)
- P135(x,y) ⇒ E55(y)
- P135(x,y) ⇒ P94(x,y)


E63 Αρχή Ύπαρξης


P51 имеет бывшего или текущего владельца


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


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 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)


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

Scope note:
This property documents that an instance of E89 Propositional Object has as subject an instance of E1 CRM Entity.
This differs from P67 refers to (is referred to by), which refers to an instance of E1 CRM Entity, in that it describes the primary subject or subjects of an instance of E89 Propositional Object.

Examples:
- The text entitled ‘Reach for the sky’ (E33) is about Douglas Bader (E21). (Brickhill, 2001)

In First Order Logic:
- P129(x,y) ⇒ E89(x)
- P129(x,y) ⇒ E1(y)
- P129(x,y) ⇒ P67(x,y)


P121 пересекается с


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

Scope note of the inverse property:
This property identifies the instance(s) of E18 Physical Thing concerned in an instance of E10 Transfer of Custody.
The property will typically describe the object that is handed over by an instance of E39 Actor to the custody of another instance of E39 Actor. On occasion, physical custody may be transferred involuntarily or illegally, e.g. through accident, unsolicited donation, or theft.

Examples of the inverse property:
- The delivery of the paintings by Secure Deliveries Inc. to the National Gallery (E10) transferred custody of paintings from The Iveagh Bequest (E19).

In First Order Logic of the inverse property:
- P30(x,y) ⇒ E10(x)
- P30(x,y) ⇒ E18(y)


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)


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

Scope note of the inverse property:
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 of the inverse property:
- 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 of the inverse property:
- P141(x,y) ⇒ E13(x)
- P141(x,y) ⇒ E1(y)


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

Scope note:
This property associates the instance of E68 Dissolution with the instance of E74 Group that it disbanded.

Examples:
- The end of The Hole in the Wall Gang (E68) dissolved The Hole in the Wall Gang (E74). (Patterson, 1998)

In First Order Logic:
- P99(x,y) ⇒ E68(x)
- P99(x,y) ⇒ E74(y)
- P99(x,y) ⇒ P11(x,y)
- P99(x,y) ⇒ P93(x,y)


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

Scope note:
This property identifies the instance of E3 Condition State that was observed in an instance of E14 Condition Assessment activity.

Examples:
- The condition assessment of silver cup 232 in 1997 (E14) has identified oxidation traces were present in 1997 (E3). [which has type (P2) with oxidation traces (E55)] (fictitious)
- The condition assessment of the cover of MS Sinai Greek 418 (E13) has identified the condition state in November 2003 (E3). [which has type fine (E55)] (Honey and Pickwoad, 2010)
- The condition assessment of the endband cores of MS Sinai Greek 418 (E14) has identified the condition state in November 2003 (E3). [which has type broken (E55)] (Honey and Pickwoad, 2010)

In First Order Logic:
- P35(x,y) ⇒E14(x)
- P35(x,y) ⇒ E3(y)
- P35(x,y) ⇒ P141(x,y)


P72 имеет язык


P96 είχε μητέρα


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 holds the instances of E30 Right to an instance of E72 Legal Object.
It is a superproperty of P52 has current owner (is current owner of) because ownership is a right that is held on the owned object.
This property is a shortcut of the fully developed path from E72 Legal Object, P104 is subject to, E30 Right, P75i is possessed by to E39 Actor.

Examples of the inverse property:
- The Beatles back catalogue (E73) right held by Michael Jackson (E21). (Raga, 2016)

In First Order Logic of the inverse property:
- P105(x,y) ⇒ E72(x)
- P105(x,y) ⇒ E39(y)
- P105(x,y) ⇐ (∃z) [E30(z) ˄ P104(x,z) ˄ P75i(z,y)]


P59 έχει τομέα


Scope note:
This class comprises the textual strings that within a cultural context can be clearly identified as titles due to their form. Being a subclass of E41 Appellation, E35 Title can only be used when such a string is actually used as a title of a work, such as a text, an artwork, or a piece of music.
Titles are proper noun phrases or verbal phrases, and should not be confused with generic object names such as “chair”, “painting”, or “book” (the latter are common nouns that stand for instances of E55 Type). Titles may be assigned by the creator of the work itself, or by a social group.
This class also comprises the translations of titles that are used as surrogates for the original titles in different social contexts.

Examples:
- “The Merchant of Venice” (McCullough, 2005)
- “Mona Lisa” (Mohen, Menu and Mottin, 2006)
- “La Pie” (Bortolatto, 1981)
- “Lucy in the Sky with Diamonds” (Lennon, 1967)

In First Order Logic:
- E35(x) ⇒ E33(x)
- E35(x) ⇒ E41(x)


E72 Объект Права


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


P95 была сформирована посредством


P21 ήταν σκοπός του/της


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)


P11 имел участника


P53 a pour localisation actuelle ou antérieure


P34 εκτιμήθηκε από


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

Scope note:
This property relates an instance of E7 Activity with instances of E71 Human-Made Thing, created specifically for use in the activity.
This is distinct from the intended use of an item in some general type of activity such as the book of common prayer which was intended for use in Church of England services (see P101 had as general use (was use of)).

Examples:
- Lady Diana Spencer’s wedding dress (E71) was made for Wedding of Prince Charles and Lady Diana Spencer (E7) mode of use To Be Worn (E55). (Daly, 1981)

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

In First Order Logic:
- P19(x,y) ⇒ E7(x)
- P19(x,y) ⇒ E71(y)
- P19(x,y,z) ⇒ [P19(x,y) ∧ E55(z)]


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

Scope note:
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:
- King George VI (E21) was father for the birth of Queen Elizabeth II (E67). (Parker, 2002)

In First Order Logic:
- P97(x,y) ⇒ E67(x)
- P97(x,y) ⇒ E21(y)


P125 χρησιμοποίησε αντικείμενο τύπου


P104 υπόκειται σε


P59 имеет район


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


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

Scope note:
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:
- 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:
- P21(x,y) ⇒ E7(x)
- P21(x,y) ⇒ E55(y)


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)


Scope note:
This class comprises events that result in the creation of conceptual items or immaterial products, such as legends, poems, texts, music, images, movies, laws, types, etc.

Examples:
- the framing of the U.S. Constitution (Farrand, 1913)
- the drafting of U.N. Resolution 1441 (United Nations Security Council, 2002)

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


P25 μετακινήθηκε από


P107 有当前或以往成员


P13 уничтожил


P136 υποστήριξε τη δημιουργία τύπου


E27 Φυσικός Χώρος


Scope note:
This class comprises changes of the physical location of the instances of E19 Physical Object.
Note, that the class E9 Move inherits the property P7 took place at (witnessed): E53 Place. This property should be used to describe the trajectory or a larger area within which a move takes place, whereas the properties P26 moved to (was destination of), P27 moved from (was origin of) describe the start and end points only. Moves may also be documented to consist of other moves (via P9 consists of (forms part of)), in order to describe intermediate stages on a trajectory. In that case, start and end points of the partial moves should match appropriately between each other and with the overall event.

Examples:
- the relocation of London Bridge from the UK to the USA (Wildfang, 2005)
- the movement of the exhibition “Tutankhamun: Treasures of the Golden Pharaoh” between 15(th) September and 2(nd) November 2019

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


E80 Удаление Части


E19 Физический Объект


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

Scope note:
This property identifies the instance(s) of E39 Actor who receive custody of an instance of E18 Physical Thing in an instance of E10 Transfer of Custody.
The property will typically describe Actors receiving custody of an object when it is handed over from another Actor’s care. On occasion, physical custody may be received involuntarily or illegally, e.g. through accident, unsolicited donation, or theft.
In reality, custody is either transferred to someone or from someone, or both.

Examples:
- Representatives of The National Gallery (E74) received custody through the delivery of the paintings by Secure Deliveries Inc. to the National Gallery (E10).

In First Order Logic:
- P29(x,y) ⇒ E10(x)
- P29(x,y) ⇒ E39(y)
- P29(x,y) ⇒ P14(x,y)


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)


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


P127 έχει ευρύτερο όρο


P124 был трансформирован посредством


P8 υπήρξε τόπος του


Scope note:
This class comprises types that stand as the models for instances of E22 Human-Made Object that are produced as the result of production activities using plans exact enough to result in one or more series of uniform, functionally and aesthetically identical and interchangeable items. The product type is the intended ideal form of the manufacture process. It is typical of instances of E22 Human-Made Object that conform to an instance of E99 Product Type that its component parts are interchangeable with component parts of other instances of E22 Human-Made Object made after the model of the same instance of E99 Product Type. Frequently, the uniform production according to a given instance of E99 Product Type is achieved by creating individual tools, such as moulds or print plates that are themselves carriers of the design of the product type. Modern tools may use the flexibility of electronically controlled devices to achieve such uniformity. The product type itself, i.e. the potentially unlimited series of aesthetically equivalent items, may be the target of artistic design, rather than the individual object. In extreme cases, only one instance of a product type may have been produced, such as in a “print on demand” process which was only triggered once. However, this should not be confused with industrial prototypes, such as car prototypes, which are produced prior to the production line being set up, or test the production line itself.

Examples:
- Volkswagen Type 11 [Beetle] (Rieger, 2013)
- Dragendorff 54 samian vessel
- 1937 Edward VIII brass threepenny bit
- Qin Crossbow trigger un-notched Part B (Bg2u) (Li, 2012)
- Nokia Cityman 1320 [The first Nokia mobile phone]

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


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

Scope note of the inverse property:
This property identifies the instance(s) of E39 Actor who surrender custody of an instance of E18 Physical Thing in an instance of E10 Transfer of Custody.
The property will typically describe an Actor surrendering custody of an object when it is handed over to someone else’s care. On occasion, physical custody may be surrendered involuntarily, e.g. through accident, loss, or theft.
In reality, custody is either transferred to someone or from someone, or both.

Examples of the inverse property:
- The Secure Deliveries Inc. crew (E74) surrendered custody through the delivery of the paintings by Secure Deliveries Inc. to the National Gallery (E10).

In First Order Logic of the inverse property:
- P28(x,y) ⇒ E10(x)
- P28(x,y) ⇒ E39(y)
- P28(x,y) ⇒ P14(x,y)


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


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


Scope note:
This class comprises all persistent physical objects of any size that are purposely created by human activity 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.

Examples:
- the Rosetta Stone (E22)
- LNER Class A4 4468 Mallard [the World’s fastest steam locomotive, preserved at the National Railway Museum of York, UK] (Solomon, 2003)
- the Portland Vase (Walker, 2004)

In First Order Logic:
- E22(x) ⇒ E19(x)
- E22(x) ⇒ E24(x)


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 that acquires the legal ownership of an object as a result of an instance of E8 Acquisition.
The property will typically describe an Actor purchasing or otherwise acquiring an object from another Actor. However, title may also be acquired without any corresponding loss of title by another Actor, through legal fieldwork such as hunting, shooting, or fishing.
In reality, the title is either transferred to or from someone, or both.

Examples of the inverse property:
- The acquisition of the Amoudruz collection by the Geneva Ethnography Museum (E8) transferred title to the Geneva Ethnography Museum (E74).

In First Order Logic of the inverse property:
- P22(x,y) ⇒ E8(x)
- P22(x,y) ⇒ E39(y)
- P22(x,y) ⇒ P14(x,y)


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


P29 получил опеку через


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

Scope note of the inverse property:
This property associates an instance of E90 Symbolic Object with a part of it that is by itself an instance of E90 Symbolic Object, such as fragments of texts or clippings from an image.
This property is transitive asymmetric.

Examples of the inverse property:
- This Scope note of property P106 (E33) is composed of ‘fragments of texts’ (E33).
- ‘recognizable’ (E90) is composed of ‘ecognizabl’ (E90).

In First Order Logic of the inverse property:
- P106(x,y) ⇒ E90(x)
- P106(x,y) ⇒ E90(y)
- [P106(x,y) ∧ P106(y,z)] ⇒ P106(x,z)
- P106(x,y) ⇒ ¬P106(y,x)


P107 ist derzeitiges oder früheres Mitglied von


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

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

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

In First Order Logic of the inverse property:
- P91(x,y) ⇒ E54(x)
- P91(x,y) ⇒ E58(y)


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

Scope note of the inverse property:
This property associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object.
This property is transitive. This property is asymmetric.

Examples of the inverse property:
- Dante’s “Divine Comedy” (E89) has component Dante’s “Hell” (E89). (Alighieri, 1956)

In First Order Logic of the inverse property:
- P148(x,y) ⇒ E89(x)
- P148(x,y) ⇒ E89(y)
- [P148(x,y) ∧ P148(y,z)] ⇒ P148(x,z)
- P148(x,y) ⇒ ¬P148(y,x)


P4 βρισκόταν σε εξέλιξη


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

Scope note:
This property identifies the instance of E21 Person or E74 Group that was the owner of an instance of E18 Physical Thing at the time of validity of the record or database containing the statement that uses this property.
This property is a shortcut for the more detailed path from E18 Physical Thing through, P24i changed ownership through, E8 Acquisition, P22 transferred title to to E39 Actor, if and only if this acquisition event is the most recent.

Examples:
- The paintings from the Iveagh Bequest (E78) has current owner Historic England (E74). [This is still valid 2021 CE. The important collection of Old Master and British portraits was bequeathed to Kenwood by Edward Cecil Guinness, 1(st) Earl of Iveagh, in 1927.] (Iveagh Bequest, 1975; Bryant, 1990)

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


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


P92 был создан посредством


P133 est distinct spatio-temporellement de


P35 идентифицировал


P74 έχει ή είχε κατοικία