P105 владеет правом на


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)


E3 Κατάσταση


P108 παρήχθη από


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


P124 трансформировал


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

Scope note:
This symmetric property associates an instance of E53 Place with another instance of E53 Place geometrically overlapping it.
It does not specify anything about the shared area. This property is purely spatial. It does not imply that phenomena that define, by their extent, places related by P121 overlaps with have ever covered a common area at the same time or even coexisted. In contrast, spatiotemporal overlaps described by P132 spatiotemporally overlaps are the total of areas simultaneously covered by the related spacetime volumes.
This property is symmetric. This property is reflexive.

Examples:
- The territory of the United States as in 2020 (E53) overlaps with the Arctic (E53). (Gannett et al., 1904)
- The maximal extent of the Kingdom of Greece (1832-1973) (E53) overlaps with the maximal extent of the Republic of Turkey (29(th) October 1923 to now) (E53).

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


P127 έχει στενότερο όρο


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

Scope note of the inverse property:
This property generalises the notions of “copy of” and “similar to” into a directed relationship, where the domain expresses the derivative or influenced item and the range the source or influencing item, if such a direction can be established. The property can also be used to express similarity in cases that can be stated between two objects only, without historical knowledge about its reasons. The property expresses a symmetric relationship in case no direction of influence can be established either from evidence on the item itself or from historical knowledge. This holds in particular for siblings of a derivation process from a common source or non-causal cultural parallels, such as some weaving patterns.
The P130.1 kind of similarity property of the P130 shows features of (features are also found on) property enables the relationship between the domain and the range to be further clarified, in the sense from domain to range, if applicable. For example, it may be expressed if both items are product “of the same mould”, or if two texts “contain identical paragraphs”.
If the reason for similarity is a sort of derivation process, i.e. that the creator has used or had in mind the form of a particular thing during the creation or production, this process should be explicitly modelled. In these cases, P130 shows features of can be regarded as a shortcut of such a process. However, the current model does not contain any path specific enough to infer this property. Specializations of the CIDOC CRM may however be more explicit, for instance describing the use of moulds etc.
This property is not transitive. This property is irreflexive.

Examples of the inverse property:
- Mary Lamb’s Cymbeline from Charles and Mary Lamb’s Tales from Shakespeare (E89) shows features of William Shakespeare’s Cymbeline (E89). (Carrington, 1954)
- The audio recording of Dante Alighieri’s La divina commedia read by Enrico de Negri (E73) shows features of the text of Dante Alighieri’s La divina commedia (E89). (Alighieri, 1956)

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


E54 Величина


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


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


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

Scope note of the inverse property:
This property describes the active participation of an instance of E39 Actor in an instance of E7 Activity.
It implies causal or legal responsibility. The P14.1 in the role of property of the property specifies the nature of an Actor’s participation.

Examples of the inverse property:
- The painting of the Sistine Chapel (E7) carried out by Michelangelo Buonaroti (E21) in the role of master craftsman (E55). (Goldscheider, 1953)

In First Order Logic of the inverse property:
- P14(x,y) ⇒ E7(x)
- P14(x,y)⇒ E39(y)
- P14(x,y) ⇒ P11(x,y)
- P14(x,y,z) ⇒ [P14(x,y) ∧ E55(z)]


E68 Διάλυση Ομάδας


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

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

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

In First Order Logic:
- P167(x,y) ⇒ E93(x)
- P167(x,y) ⇒ E53(y)
- P167(x,y) ⇔ (∃z) [E53(z) ˄ P161(x,z) ˄ P89(z,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)


P107 有当前或以往成员


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)


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

Scope note:
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:
- 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:
- P28(x,y) ⇒ E10(x)
- P28(x,y) ⇒ E39(y)
- P28(x,y) ⇒ P14(x,y)


P75 κατέχεται από


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

Scope note of the inverse property:
This property associates an instance of E4 Period with another instance of E4 Period that is defined by a subset of the phenomena that define the former. Therefore, the spacetime volume of the latter must fall within the spacetime volume of the former.
This property is transitive and asymmetric.

Examples of the inverse property:
- Cretan Bronze Age (E4) consists of Middle Minoan (E4). (Hood, 1971)

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


E14 Оценка Состояния


P95 сформировал


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 of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
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 of the inverse property:
- “enquiries@cidoc-crm.org” (E41) has type e-mail address (E55). (fictitious)

In First Order Logic of the inverse property:
- P2(x,y) ⇒ E1(x)
- P2(x,y) ⇒ E55(y)
- P2(x,y) ⇐ (∃z) [E17(z)] ˄ P41i(x,z) ˄ P42(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)


P51 a pour propriétaire actuel ou antérieur


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)


P89 содержится в


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

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

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

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


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

Scope note:
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:
- Object BM000098044 of the Clayton Herbarium (E20) exemplifies ‘Spigelia marilandica’ (L.) L. (E55) in the taxonomic role lectotype (E55). (Natural History Museum, 2021)

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

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


E52 Интервал Времени


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


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


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

Scope note of the inverse property:
This property identifies an instance E90 Symbolic Object carried by an instance of E18 Physical Thing. Since an instance of E90 Symbolic Object is defined as an immaterial idealization over potentially multiple carriers, any individual realization on a particular physical carrier may be defective, due to deterioration or shortcomings in the process of creating the realization compared to the intended ideal. As long as such defects do not substantially affect the complete recognition of the respective symbolic object, it is still regarded as carrying an instance of this E90 Symbolic Object. If these defects are of scholarly interest, the particular realization can be modelled as an instance of E25 Human-Made Feature. Note, that any instance of E90 Symbolic Object incorporated (P165) in the carried symbolic object is also carried by the same instance of E18 Physical Thing.

Examples of the inverse property:
- Matthew’s paperback copy of Reach for the Sky (E18) carries the text of Reach for the Sky (E73). [see also: (Brickhill, 2001)] (fictitious)

In First Order Logic of the inverse property:
- P128(x,y) ⇒ E18(x)
- P128(x,y) ⇒ E90(y)
- P128(x,y) ⇒ P130(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 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)


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


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

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

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

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


P19 был предполагаемым использованием для


P54 είναι μόνιμη θέση του/της


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

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

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

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


P30 опека передана через


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


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

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

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

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


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


E65 Δημιουργία


P65 показывает визуальный предмет


P22 получил право собственности через


P4 είναι χρονικό διάστημα του/της


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


E31 Документ


P22 adquiriu os direitos de propriedade por meio da


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


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

Scope note of the inverse property:
This property links an area, i.e., an instance of E53 Place to the instance of E18 Physical Thing upon which it is found. This area may either be identified by a name, or by a geometry in terms of a coordinate system adapted to the shape of the respective instance of E18 Physical Thing. Typically, names identifying sections of physical objects are composed of the name of a kind of part and the name of the object itself, such as “The poop deck of H.M.S. Victory”, which is composed of “poop deck” and “H.M.S. Victory”.

Examples of the inverse property:
- HMS Victory (E22) has section HMS Victory section B347.6 (E53). (Goodwin, 2015)

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


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


P127 имеет нижестоящий термин


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

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

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


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)


P24 передал право собственности на


P22 передал право собственности


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


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

Scope note of the inverse property:
This property associates an instance of E18 Physical Thing with the instance of E92 Spacetime Volume that constitutes the complete trajectory of its geometric extent through spacetime for the whole time of the existence of the instance of E18 Physical Thing.
An instance of E18 Physical Thing not only occupies a particular geometric space at each instant of its existence, but in the course of its existence it also forms a trajectory through spacetime, which occupies a real, that is phenomenal, volume in spacetime, i.e. the instance of E92 Spacetime Volume this property associates it with. This real spatiotemporal extent of the instance of E18 Physical Thing is regarded as being unique, in all its details and fuzziness; the identity and existence of the instance of E92 Spacetime Volume depend uniquely on the identity of the instance of E18 Physical Thing, whose existence defines it. It constitutes a phenomenal spacetime volume as defined in CRMgeo (Doerr & Hiebel, 2013).
Included in this spacetime volume are both the spaces filled by the matter of the physical thing and any inner space that may exist, for instance the interior of a box. Physical things consisting of aggregations of physically unconnected objects, such as a set of chessmen, occupy a finite number of individually contiguous subsets of this spacetime volume equal to the number of objects that constitute the set and that are never connected during its existence.

Examples of the inverse property:
- H.M.S. Temeraire (E22) defines the spacetime volume of H.M.S. Temeraire (E92). [it was built, during 1798, in Chatham and destroyed, during 1838, in Rotherhithe] (Willis, 2010)
- The Saint Titus reliquary (E22) defines the spacetime volume of the Saint Titus reliquary (E92). [the reliquary has been produced by the workshop of the Vogiatzis brothers located at Monastiraki, Athens, in 1966 as container for the skull of Saint Titus, which was placed into it at that time and has since then continued to fall within the container’s spacetime volume. The reliquary with the skull has been kept in the Saint Titus Church in Heraklion, Crete since 1966] (Fisher & Garvey, 2010; Panotis, 2016)

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


P30 a été l’objet d’un transfert de garde par


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


Scope note:
This class comprises identifiable expressions in natural language or languages.
Instances of E33 Linguistic Object can be expressed in many ways: e.g. as written texts, recorded speech, or sign language. However, the CIDOC CRM treats instances of E33 Linguistic Object independently from the medium or method by which they are expressed. Expressions in formal languages, such as computer code or mathematical formulae, are not treated as instances of E33 Linguistic Object by the CIDOC CRM. These should be modelled as instances of E73 Information Object.
In general, an instance of E33 Linguistic Object may also contain non-linguistic information, often of artistic or aesthetic value. Only in cases in which the content of an instance of E33 Linguistic Object can completely be expressed by a series of binary-encoded symbols, its content may be documented within a respective knowledge base by the property P190 has symbolic content: E62 String. Otherwise, it should be understood as an identifiable digital resource only available independently from the respective knowledge base.
In other cases, such as pages of an illuminated manuscript or recordings containing speech in a language supported by a writing system, the linguistic part of the content of an instance of E33 Linguistic Object may be documented within a respective knowledge base in a note by P3 has note: E62 String. Otherwise, it may be described using the property P165 incorporates (is incorporated in): E73 Information Object as a different object with its own identity.

Examples:
- the text of the Ellesmere Chaucer manuscript (Hilmo, 2019)
- the lyrics of the song “Blue Suede Shoes” (Cooper, 2008)
- the text of the “Jabberwocky” by Lewis Carroll (Carroll, 1981)
- the text of “Doktoro Jekyll kaj Sinjoro Hyde” [an Esperanto translation of Dr. Jekyll and Mr. Hyde]. (Stevenson, Morrison and Mann, 1909)
- the free dialog in the local dialect recorded in 1958, Telemark, Norway stored on tape or.7-89.s1 (00.15:46-00:34), The Language Collection at the University Library in Bergen, Norway (verified on 2020)

In First Order Logic:
- E33(x) ⇒ E73(x)


P96 посредством матери


E36 Визуальный Предмет


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


Scope note:
This class comprises the events that result in the simultaneous destruction of one or more than one E18 Physical Thing and the creation of one or more than one E18 Physical Thing that preserves recognizable substance and structure from the first one(s) but has fundamentally different nature or identity.
Although the old and the new instances of E18 Physical Thing are treated as discrete entities having separate, unique identities, they are causally connected through the E81 Transformation; the destruction of the old E18 Physical Thing(s) directly causes the creation of the new one(s) using or preserving some relevant substance and structure. Instances of E81 Transformation are therefore distinct from re-classifications (documented using E17 Type Assignment) or modifications (documented using E11 Modification) of objects that do not fundamentally change their nature or identity. Characteristic cases are reconstructions and repurposing of historical buildings or ruins, fires leaving buildings in ruins, taxidermy of specimen in natural history.
Even though such instances of E81 Transformation are often motivated by a change of intended use, substantial material changes should justify the documentation of the result as a new instance of E18 Physical Thing and not just the change of function. The latter may be documented as an extended activity (instance of E7 Activity) of using it.

Examples:
- the mummification of Tut-Ankh-Amun (E81, E12) [the mummification of the body of the deceased is a human production process and simultaneously preserves structures of the body at and before death] (Carter and 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)
- the transformation of the Hephaisteion temple in Athens, better known as “Theseion”, into a Christian church, dedicated to Saint George <https://en.wikipedia.org/wiki/Saint_George> around AD 700 (E81,E12) [which actually helped preserving part of the antique temple structure from 449BC]

In First Order Logic:
- E81(x) ⇒ E63(x)
- E81(x) ⇒ E64(x)


P31 τροποποιήθηκε από


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

Scope note:
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:
- The acquisition of the Amoudruz collection by the Geneva Ethnography Museum (E8) transferred title to the Geneva Ethnography Museum (E74).

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


Scope note:
This class comprises symbols, signs, signatures, or short texts applied to instances of E24 Physical Human-Made Thing by arbitrary techniques, often in order to indicate such things as creator, owner, dedications, purpose, or to communicate information generally. Instances of E37 Mark do not represent the actual image of a mark, but the abstract ideal (or archetype) as used for codification in reference documents forming cultural documentation.
This class specifically excludes features that have no semantic significance, such as scratches or tool marks. These should be documented as instances of E25 Human-Made Feature.

Examples:
- Minoan double axe mark (Lowe Fri, 2011)
- ©
- ☺

In First Order Logic:
- E37(x) ⇒ E36(x)


P10 περιλαμβάνει


P136 был основан на


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)


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

Scope note:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts 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(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, contains, finished-by}. This property is transitive. This property is asymmetric.

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

Figure 14: Temporal entity A starts 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_08.png

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

Examples:
- The reign of King Harold II (E4) starts before the start of the Battle of Hastings (E7). (Wikipedia 2022a)
- The life of Attila “the Hun” (E4) starts before the start of the Battle of the Catalaunian Plains (E7). [June 20, 451 AD] (Wikipedia 2022b)

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


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

Scope note of the inverse property:
This property links an instance of E65 Creation to the instance of E28 Conceptual Object created by it.
It represents the act of conceiving the intellectual content of the instance of E28 Conceptual Object. It does not represent the act of creating the first physical carrier of the instance of E28 Conceptual Object. As an example, this is the composition of a poem, not its commitment to paper.

Examples of the inverse property:
- The composition of “The Four Friends” by A. A. Milne (E65) has created “The Four Friends” by A. A. Milne (E33). (Milne, 2012)

In First Order Logic of the inverse property:
- P94(x,y) ⇒ E65(x)
- P94(x,y) ⇒ E28(y)
- P94(x,y) ⇒ P92(x,y)


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


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


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


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


E17 Присвоение Типа


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


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 birth-giving mother.
Note that biological fathers are not necessarily participants in the Birth (see P97 from father (was father for)). The instance of E21 Person being born is linked to the instance of E67 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.

Examples:
- The birth of Queen Elizabeth II (E67) by mother Her Majesty Queen Elizabeth The Queen Mother (E21). (Parker, 2002)

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


E52 Χρονικό Διάστημα


Scope note:
This class comprises documented plans for the execution of actions in order to achieve a result of a specific quality, form, or contents. In particular, it comprises plans for deliberate human activities that may result in new instances of E71 Human-Made Thing or for shaping or guiding the execution of an instance of E7 Activity.
Instances of E29 Design or Procedure can be structured in parts and sequences or depend on others.
This is modelled using P69 has association with (is associated with): E29 Design or Procedure.
Designs or procedures can be seen as one of the following:
1. A schema for the activities it describes
2. A schema of the products that result from their application
3. An independent intellectual product that may have never been applied, such as Leonardo da Vinci’s famous plans for flying machines
Because designs or procedures may never be applied or only partially executed, the CIDOC CRM models a loose relationship between the plan and the respective product.

Examples:
- the ISO standardisation procedure
- the musical notation for Beethoven’s “Ode to Joy” (Kershaw, 1999)
- the architectural drawings for the Kölner Dom (Cologne Cathedral) in Cologne, Germany (Wolff, 1999)
- the drawing found on Folio 860 of the Codex Atlanticus from Leonardo da Vinci, 1486 to 1490, kept in the Biblioteca Ambrosiana in Milan

In First Order Logic:
- E29(x) ⇒ E73(x)


P71 перечислен в


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)


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

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

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

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


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

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

In First Order Logic:
- E1(x)


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


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

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

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


P25 μετεκίνησε


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


P52 έχει ιδιοκτήτη


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

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

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

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


E81 Μετατροπή


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


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


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)


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


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 that was assessed during an instance of E14 Condition Assessment.
Conditions may be assessed either by direct observation or using recorded evidence. In the latter case the instance of E18 Physical Thing does not need to be present or extant at the time of assessment.

Examples of the inverse property:
- The condition assessment of the silver collection in 1997 (E14) concerned silver cup 232 (E22). (fictitious)
- The condition assessment of the cover of MS Sinai Greek 418 (E14) concerned the cover of MS Sinai Greek 418 (E22). (Honey and Pickwoad, 2010)
- The condition assessment of the endband cores of MS Sinai Greek 418 (E14) concerned the endband cores of MS Sinai Greek 418 (E22). (Honey and Pickwoad, 2010)

In First Order Logic of the inverse property:
- P34(x,y) ⇒ E14(x)
- P34(x,y) ⇒ E18(y)
- P34(x,y) ⇒ P140(x,y)


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


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


P51 有以往或当前所有者


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

Scope note:
This property describes the inclusion relationship between two instances of E52 Time-Span.
This property supports the notion that the temporal extent of an instance of E52 Time-Span falls within the temporal extent of another instance of E52 Time-Span. It addresses temporal containment only, and no contextual link between the two instances of E52 Time-Span is implied. This property is transitive and reflexive.

Examples:
- The time-span of the Apollo 11 moon mission (E52) falls within the time-span of the reign of Queen Elizabeth II (E52). (Riley, 2009; Robinson, 2000)

In First Order Logic:
- P86(x,y) ⇒ E52(x)
- P86(x,y) ⇒ E52(y)
- [P86(x,y) ∧ P86(y,z)] ⇒ P86(x,z)
- P86(x,x)


P37 назначил


P52 είναι ιδιοκτήτης του


P1 αναγνωρίζεται ως


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

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

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


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

Scope note:
This property describes the spatial location of an instance of E4 Period.
The related instance of E53 Place should be seen as a wider approximation of the geometric area within which the phenomena that characterise the period in question occurred, see below. P7 took place at (witnessed) does not convey any meaning other than spatial positioning (frequently on the surface of the earth). For example, the period “Révolution française” can be said to have taken place in “France in 1789”; the “Victorian” period may be said to have taken place in “Britain from 1837-1901” and its colonies, as well as other parts of Europe and North America. An instance of E4 Period can take place at multiple non-contiguous, non-overlapping locations.
Any place where something happened includes the spatial projection of the happening given in the same geometric reference system. For instance, HMS Victory, as place of Lord Nelson's dying, includes the location of his body relative to the hull of HMS Victory at his time of death as the most precise location of his death. By the definition of P161 has spatial projection, an instance of E4 Period takes place on all its spatial projections to respective reference systems, that is, instances of E53 Place. Therefore, this property implies the more fully developed path from E4 Period through P161 has spatial projection, E53 Place, P89 falls within to E53 Place, where both places are defined in the same geometric reference system. The relation between an instance of E53 Place and its reference system can conveniently be documented via the property P157 is at rest relative to (provides reference space for).
Something that has happened at a given place can also be considered to have happened at a smaller place within it: for example, it is reasonable to say Caesar’s murder took place in Rome, but also on the Forum Romanum, and more precisely in the Curia. It is characteristic for different historical sources to use varying precision in such statements, without being in contradiction with each other. This may be due to lack of knowledge or to the relevance of the precision for the purpose of the statement. In information integration, the more precise statement improves the overall knowledge.

Examples:
- The period “Révolution française” (E4) took place at the area covered by France in 1789 (E53). (Bertaud, 2004)

In First Order Logic:
- P7(x,y) ⇒ E4(x)
- P7(x,y) ⇒ E53(y)
- P7(x,y) ⇒ (∃z,u) [P157(y,u) ˄ P157(z,u) ˄ P161(x,z) ˄ P89(z,y)]
- [E4(x) ˄ P157(y,u) ˄ P157(v,u) ˄ P7(x,y) ˄ P161(x,z) ˄ P89(z,v) ˄ P89(v,y)] ⇒ P7(x,v)


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


P184 se termine au moment de ou après la fin de


P11 участвовал в


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

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

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


E83 Создание Типа


E35 Заголовок


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


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


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 of the inverse property: one to many, dependent (0,n:1,1)

Scope note of the inverse property:
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 of the inverse property:
- 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 of the inverse property:
- P43(x,y) ⇒ E70(x)
- P43(x,y) ⇒ E54(y)
- P43(x,y) ⇐ (∃z) [E16(z) ˄ P39i(x,z) ˄ P40(z,y)]


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


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, necessary (1,n:0,n)

Scope note:
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:
- 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:
- P70(x,y) ⇒ E31(x)
- P70(x,y) ⇒ E1(y)
- P70(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 E13 Attribute Assignment with the instance of E1 CRM Entity about which it made an attribution. The instance of E1 CRM Entity plays the role of the domain of the attribution.
The kind of attribution made should be documented using P177 assigned property of type (is type of property assigned).

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

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


P95 σχημάτισε


P82 κάποτε εντός


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


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


P72 είναι γλώσσα του/της


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


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

Scope note of the inverse property:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends before or simultaneously with the 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 a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets}.
This property is transitive. This property is asymmetric.

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

Figure 16: Temporal entity A ends 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_10.png

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

Examples of the inverse property:
- Lerna III (E4) ends before or with the start of Lerna IV (E4). [“The site at Lerna probably was not left uninhabited for long after the destruction of the House of the Tiles and the raising of the tumulus. If there was a gap corresponding to the earliest stage of EH III in the Argolid, as has been suggested by some (see, e.g., Manning 1995: 55–60), it was a brief one. In Rutter’s view, the short life of the Fourth Settlement began ca. 2200/2150 b.c. and ended ca. 2050/2000 b.c.”] (Banks & Reese, 2013)
- The use of LH I graves of Krisa in Phocis (E4) ends before or with the start of LH III phase of reuse of the graves of Krisa in Phocis (E4). [“…a possible hiatus in the occupation of certain sites such as the settlement of Krisa in Phocis, which was well occupied in the MH and LHIII periods. LHIIB pottery from this settlement has already been identified, but no certain example of LHIIA pottery.”] (Phialon 2018)

In First Order Logic of the inverse property:
- P182(x,y) ⇒ E2(x)
- P182(x,y) ⇒ E2(y)
- P182(x,y) ⇒ P176(x,y)
- P182(x,y) ⇒ P185(x,y)
- [P182(x,y) ⋀ P182(y,z) ⇒ P182(x,z)]
- P182(x,y) ⇒ ¬P182(y,x)


P2 имеет тип


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


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

Scope note of the inverse property:
This property associates an instance of E41 Appellation with another instance of E41 Appellation that constitutes a derivative or variant of the former and that may also be used for identifying items identified by the former, in suitable contexts, independent from the particular item to be identified. This property should not be confused with additional variants of names used characteristically for a single, particular item, such as individual nicknames. It is a directed relationship, where the range expresses the derivative or variant and the domain the source of derivation or original form of variation, if such a direction can be established. Otherwise, the relationship is symmetric.
Multiple names assigned to an object, which do not apply to all things identified with the specific instance of E41 Appellation, should be modelled as repeated values of P1 is identified by (identifies) of this object.
P139.1 has type allows the type of derivation to be refined, for instance “transliteration from Latin 1 to ASCII”.

Examples of the inverse property:
- “Martin Doerr” (E41) has alternative form “Martin Dörr” (E41) has type alternate spelling (E55).
- “Гончарова, Наталья Сергеевна” (E41) has alternative form "Gončarova, Natal´â Sergeevna" (E41) has type ISO 9:1995 transliteration (E55).
- “Αθήνα” (E41) has alternative form “Athina” (E41) has type transcription (E55).

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


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


P27 перемещен из


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)


P43 έχει μέγεθος


Scope note:
This class comprises all phenomena, such as the instances of E4 Periods and E5 Events, which happen over a limited extent in time. This extent in time must be contiguous, i.e., without gaps. In case the defining kinds of phenomena for an instance of E2 Temporal Entity cease to happen, and occur later again at another time, we regard that the former instance of E2 Temporal Entity has ended and a new instance has come into existence. In more intuitive terms, the same event cannot happen twice.
In some contexts, such phenomena are also called perdurants. This class is disjoint from E77 Persistent Item and is an abstract class that typically has no direct instances. E2 Temporal Entity is specialized into E4 Period, which applies to a particular geographic area (defined with a greater or lesser degree of precision), and E3 Condition State, which applies to instances of E18 Physical Thing.

Examples:
- Bronze Age (E4) (Childe, 1963)
- the earthquake in Lisbon 1755 (E5) (Chester, 2001)
- the Peterhof Palace near Saint Petersburg being in ruins from 1944 to 1946 (E3) (Maddox, 2015)

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


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

Scope note:
This property associates an instance of E13 Attribute Assignment with the instance of E1 CRM Entity 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)


E34 Επιγραφή


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


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


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


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

Scope note:
This property links an area, i.e., an instance of E53 Place to the instance of E18 Physical Thing upon which it is found. This area may either be identified by a name, or by a geometry in terms of a coordinate system adapted to the shape of the respective instance of E18 Physical Thing. Typically, names identifying sections of physical objects are composed of the name of a kind of part and the name of the object itself, such as “The poop deck of H.M.S. Victory”, which is composed of “poop deck” and “H.M.S. Victory”.

Examples:
- HMS Victory (E22) has section HMS Victory section B347.6 (E53). (Goodwin, 2015)

In First Order Logic:
- P59(x,y) ⇒ E18(x)
- P59(x,y) ⇒ E53(y)


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


Scope note:
This class comprises events that destroy one or more instances of E18 Physical Thing, such that they lose their identity as the subjects of documentation.
Some destruction events are intentional, while others are independent of human activity. Intentional destruction can be documented by classifying the event as both an instance of E6 Destruction and of E7 Activity.
The decision to document an object as destroyed, transformed, or modified is context-sensitive:
1. If the matter remaining from the destruction is not documented, the event is modelled solely as an instance of E6 Destruction.
2. An event should also be documented using E81 Transformation if it results in the destruction of one or more objects and the simultaneous production of others using parts or material from the original. In this case, the new items have separate identities. Matter is preserved, but identity is not.
3. When the initial identity of the changed instance of E18 Physical Thing is preserved, the event should be documented as an instance of E11 Modification.

Examples:
- the destruction of Herculaneum by volcanic eruption in 79 AD (Camardo, 2013)
- the destruction of Nineveh (E6, E7) (River, 2016)
- the breaking of a champagne glass yesterday by my dog (fictitious)

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


P121 επικαλύπτεται με


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


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


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

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

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

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


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


P104 применяется к


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


P81a конец начала


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

Scope note:
This property associates an instance of E4 Period with another instance of E4 Period that is defined by a subset of the phenomena that define the former. Therefore, the spacetime volume of the latter must fall within the spacetime volume of the former.
This property is transitive and asymmetric.

Examples:
- Cretan Bronze Age (E4) consists of Middle Minoan (E4). (Hood, 1971)

In First Order Logic:
- P9(x,y) ⇒ E4(x)
- P9(x,y) ⇒ E4(y)
- P9(x,y) ⇒ P10(y,x)
- [P9(x,y) ∧ P9(y,z)] ⇒ P9(x,z)
- P9(x,y) ⇒ ¬P9(y,x)


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

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

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


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


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


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


Scope note:
This class comprises identifiable immaterial items that make propositions about reality.
These propositions may be expressed in text, graphics, images, audiograms, videograms, or by other similar means. Documentation databases are regarded as instances of E31 Document. This class should not be confused with the concept “document” in Information Technology, which is compatible with E73 Information Object.

Examples:
- the Encyclopaedia Britannica (E32) (Kogan, 1958)
- the image content of the photo of the Allied Leaders at Yalta published by UPI, 1945 (E36)
- Domesday Book [a manuscript record of the "Great Survey" of much of England and parts of Wales completed in 1086 by order of King William the Conqueror] (Hallam 1986)

In First Order Logic:
- E31(x) ⇒ E73(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 E39 Actor to an instance of E30 Right over which the actor holds or has held a legal claim.

Examples of the inverse property:
- Michael Jackson (E21) possesses intellectual property rights on the Beatles’ back catalogue (E30). (Raga, 2016)

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


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


P109 является действующим или бывшим хранителем


P17 ήταν αφορμή


P101 ήταν χρήση του/της


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


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


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

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

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

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


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

Scope note:
This property identifies an instance of E57 Material foreseen to be used by an instance of E29 Design or Procedure.
E29 Designs and procedures commonly foresee the use of particular instances of E57 Material. The fabrication of adobe bricks, for example, requires straw, clay and water. This property enables this to be documented.
This property is not intended for the documentation of instances of E57 Materials that were used on a particular occasion when an instance of E29 Design or Procedure was executed.

Examples:
- The procedure for soda glass manufacture (E29) foresees use of soda (E57). (Brooks, 1973)

In First Order Logic:
- P68(x,y) ⇒ E29(x)
- P68(x,y) ⇒ E57(y)
- P68(x,y) ⇒ P67(x,y)


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


P130 χαρακτηριστικά του βρίσκονται επίσης σε


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 E6 Destruction to an instance of E18 Physical Thing that has been destroyed by it.
Destruction implies the end of an item’s life as a subject of cultural documentation – the physical matter of which the item was composed may in fact continue to exist. An instance of E6 Destruction may be contiguous with an instance of E12 Production that brings into existence a derived object composed partly of matter from the destroyed object.

Examples of the inverse property:
- The Tay Bridge Disaster (E6) destroyed the Tay Bridge (E22). (Thomas, 1972)

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


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


P122 συνορεύει με


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 becomes member of an instance of E74 Group in an instance of E85 Joining.
Joining events allow for describing actors becoming members of a group with the more detailed path E74 Group, P144i gained member by, E85 Joining, P143 joined, E39 Actor, compared to the shortcut offered by P107 has current or former member (is current or former member of).

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

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


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


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

Scope note:
This property identifies the instance of E39 Actor that had custody 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, P30i custody transferred through, E10 Transfer of Custody, P29 custody received by to E39 Actor, if and only if the custody has not been surrendered by the receiving actor at any later time

Examples:
- The paintings from The Iveagh Bequest (E78) has current keeper The National Gallery (E74) (Iveagh Bequest, 1975)

In First Order Logic:
- P50(x,y) ⇒ E18(x)
- P50(x,y) ⇒ E39(y)
- P50(x,y) ⇒ P49(x,y)
- P50(x,y) ⇐ (∃z) [[E10(z) ˄ P30i(x,z) ˄ P29(z,y) ]
- ˄ ¬ (∃w) [E10(w) ˄ P30i(x,w) ˄ P28(w,y)˄ P182(z,w)]]


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

Scope note of the inverse property:
This property identifies an instance of E57 Material foreseen to be used by an instance of E29 Design or Procedure.
E29 Designs and procedures commonly foresee the use of particular instances of E57 Material. The fabrication of adobe bricks, for example, requires straw, clay and water. This property enables this to be documented.
This property is not intended for the documentation of instances of E57 Materials that were used on a particular occasion when an instance of E29 Design or Procedure was executed.

Examples of the inverse property:
- The procedure for soda glass manufacture (E29) foresees use of soda (E57). (Brooks, 1973)

In First Order Logic of the inverse property:
- P68(x,y) ⇒ E29(x)
- P68(x,y) ⇒ E57(y)
- P68(x,y) ⇒ P67(x,y)


P54 является текущим постоянным местоположением для


Scope note:
This class comprises activities that result in an instance of E18 Physical Thing being increased, enlarged, or augmented by the addition of a part.
Typical scenarios include the attachment of an accessory, the integration of a component, the addition of an element to an aggregate object, or the accessioning of an object into a curated instance of E78 Curated Holding. Both the E18 Physical Thing being augmented and the E18 Physical Thing that is being added are treated as separate identifiable wholes prior to the instance of E79 Part Addition. Following the addition of parts, the resulting assemblages are treated objectively as single identifiable wholes, made up of constituent or component parts bound together either physically (for example the engine becoming a part of the car), or by sharing a common purpose (such as the 32 chess pieces that make up a chess set). This class of activities forms a basis for reasoning about the history and continuity of identity of objects that are integrated into other objects over time, such as precious gemstones being repeatedly incorporated into different items of jewellery, or cultural artefacts being added to different museum instances of E78 Curated Holding over their lifespan.

Examples:
- the setting of the Koh-I-Noor diamond into the crown of Queen Elizabeth the Queen Mother (Dalrymple, 2017)
- the addition of the painting “Room in Brooklyn” by Edward Hopper to the collection of the Museum of Fine Arts, Boston
- the attachment of the bronze hand on the tree forming the Alpi Marittime [ https://giuseppepenone.com/en/words/maritime-alps] (Mangini, 2010)

In First Order Logic:
- E79(x) ⇒ E11(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 relinquish legal ownership as the result of an instance of E8 Acquisition.
The property will typically be used to describe a person donating or selling an object to a museum. 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 from the Heirs of Amoudruz (E74).

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


P134 продолжил


P49 является бывшим или текущим смотрителем для


P107 hat derzeitiges oder früheres Mitglied


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


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


E25 Caractéristique élaborée par l'humain


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)


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


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


P102 είναι τίτλος του/της


P129 έχει ως θέμα


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)


Scope note:
This class comprises abstract temporal extents, in the sense of Galilean physics, having a beginning, an end, and a duration.
Instances of E52 Time-Span have no semantic connotations about phenomena happening within the temporal extent they represent. They do not convey any meaning other than a positioning on the “time-line” of chronology. The actual extent of an instance of E52 Time-Span can be approximated by properties of E52 Time-Span giving inner and outer bounds in the form of dates (instances of E61 Time Primitive). Comparing knowledge about time-spans is fundamental for chronological reasoning.
Some instances of E52 Time-Span may be defined as the actual, in principle observable, temporal extent of instances of E2 Temporal Entity via the property P4 has time-span (is time-span of): E52 Time-Span. They constitute phenomenal time-spans as defined in CRMgeo (Doerr & Hiebel 2013). Since our knowledge of history is imperfect and physical phenomena are fuzzy in nature, the extent of phenomenal time-spans can only be described in approximation. An extreme case of approximation, might, for example, define an instance of E52 Time-Span having unknown beginning, end and duration. It may, nevertheless, be associated with other descriptions by which people can infer knowledge about it, such as in relative chronologies.
Some instances of E52 may be defined precisely as representing a declaration of a temporal extent, as, for instance, done in a business contract. They constitute declarative time-spans as defined in CRMgeo (Doerr & Hiebel 2013) and can be described via the property E61 Time Primitive P170 defines time (time is defined by): E52 Time-Span.
When used as a common E52 Time-Span for two events, it will nevertheless describe them as being simultaneous, even if nothing else is known.

Examples:
- 1961
- From 12-17-1993 to 12-8-1996
- 14h30 to 16h22 4(th) July 1945
- 9.30 am 1.1.1999 to 2.00 pm 1.1.1999
- the time-span of the Ming Dynasty (Chan, 2011)

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


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


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


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)


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)


P20 был целью для


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

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

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

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


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

Scope note:
This property associates an instance of E93 Presence with an instance of E53 Place that geometrically overlaps with the spatial projection of the respective instance of E93 Presence. A use case of this property is to state through which places an object or an instance of E21 Person has or was moved within a given time-span. It may also be used to describe a partial or complete, temporary or permanent extension of the spatial extent of some realm into a neighbouring region during a known time-span. It may also be used to describe a partial or complete, temporary or permanent extension of the spatial extent of some realm into a neighbouring region during a known time-span.
This property is a shortcut of the more fully developed path from E93 Presence through P161 has spatial projection, E53 Place, P121 overlaps with, to E53 Place.

Examples:
- Johann Joachim Winckelmann’s whereabouts from 19(th) November 1755 until 9(th) April 1768 (E93) covered parts of Paestum, Italy (E53). (Wiencke, 1998)
- The Byzantine Empire 1013 AD (E93) covered parts of The Italian Peninsula (E53). (Browning, 1980)

In First Order Logic:
- P197(x,y) ⇒ E93(x)
- P197(x,y) ⇒ E53(y)


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)


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


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


E31 Τεκμήριο


P20 είχε συγκεκριμένο σκοπό


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


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


P93 αναίρεσε


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


P10 находится в пределах


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


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

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

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


P48 έχει προτιμώμενο αναγνωριστικό


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


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

Scope note:
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:
- 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:
- P89(x,y) ⇒ E53(x)
- P89(x,y) ⇒ E53(y)
- [P89(x,y) ∧ P89(y,z)] ⇒ P89(x,z)
- P89(x,x)


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


P138 παριστάνει


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

Scope note:
This property records the identifier that was assigned to an item in an instance of E15 Identifier Assignment.
The same identifier may be assigned on more than one occasion.
An identifier might be created prior to an assignment.

Examples:
- The identifier assignment on 1(st) June 1997 of the silver cup donated by Martin Doerr (E15) assigned “232” (E42) (fictitious)

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


P107 ist derzeitiges oder früheres Mitglied von