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

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

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

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


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


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

Scope note:
This property identifies the instance of E24 Physical Human-Made Thing that came into existence as a result of the instance of E12 Production.
The identity of an instance of E24 Physical Human-Made Thing is not defined by its matter, but by its existence as a subject of documentation. An E12 Production can result in the creation of multiple instances of E24 Physical Human-Made Thing.

Examples:
- The building of Rome (E12) has produced the Colosseum (E24). (Hopkins & Beard, 2011)

In First Order Logic:
- P108(x,y) ⇒ E12(x)
- P108(x,y) ⇒ E24(y)
- P108(x,y) ⇒ P31(x,y)
- P108(x,y) ⇒ P92(x,y)


Scope note:
This class comprises actions intentionally carried out by instances of E39 Actor that result in changes of state in the cultural, social, or physical systems documented.
This notion includes complex, composite, and long-lasting actions such as the building of a settlement or a war, as well as simple, short-lived actions such as the opening of a door.

Examples:
- the Battle of Stalingrad (Hoyt, 1993)
- the Yalta Conference (Harbutt, 2010)
- my birthday celebration 28-6-1995
- the writing of “Faust” by Goethe (E65) (Williams, 2020)
- the formation of the Bauhaus 1919 (E66) (Droste, 2006)
- the people of Iraq giving the name ‘Quyunjig’ to the place identified by the TGN as ‘7017998’
- Kira Weber working in glass art from 1984 to 1993
- Kira Weber working in oil and pastel painting from 1993

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


P23 μετεβίβασε τον τίτλο από


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

Scope note of the inverse property:
This property describes the location of an instance of E4 Period with respect to an instance of E18 Physical Thing.
This property is a shortcut of the more fully developed path from E4 Period through P7 took place at, E53 Place, P156i is occupied by to E18 Physical Thing.
It describes a period that can be located with respect to the space defined by an E19 Physical Object such as a ship or a building. The precise geographical location of the object during the period in question may be unknown or unimportant.
For example, the French and German armistice of 22(nd) June 1940 was signed in the same railway carriage as the armistice of 11(th) November 1918.

Examples of the inverse property:
- The coronation of Queen Elizabeth II (E7) took place on or within Westminster Abbey (E18). (Strong, 2005)

In First Order Logic of the inverse property:
- P8(x,y) ⇒ E4(x)
- P8(x,y) ⇒ E18(y)
- P8(x,y) ⇐ (∃z) [E53(z) ˄ P7(x,z) ˄ P156i(z,y)]


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

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

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

Properties:
- P3.1 has type: E55 Type

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


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

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

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

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


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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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


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


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


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


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


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


P98 γεννήθηκε


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

Scope note of the inverse property:
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 of the inverse property:
- The period “Révolution française” (E4) took place at the area covered by France in 1789 (E53). (Bertaud, 2004)

In First Order Logic of the inverse property:
- 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)


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

Scope note of the inverse property:
This property records the location of an instance of E19 Physical Object at the time of validity of the record or database containing the statement that uses this property.
This property is a specialisation of P53 has former or current location (is former or current location of). It indicates that the instance of E53 Place associated with the instance of E19 Physical Object is the current location of the object. The property does not allow any indication of how long the object has been at the current location.
This property is a shortcut. A more detailed representation can make use of the fully developed (i.e., indirect) path from E19 Physical Object, through, P25i moved by, E9 Move, P26 moved to to E53 Place if and only if this Move is the most recent.

Examples of the inverse property:
- Silver cup 232 (E22) has current location Display Cabinet 23, Room 4, British Museum (E53). (fictitious)

In First Order Logic of the inverse property:
- P55(x,y) ⇒ E19(x)
- P55(x,y) ⇒ E53(y)
- P55(x,y) ⇒ P53(x,y)
- P55(x,y) ⇐ (∃z) [ [E9(z) ˄ P25i(x,z) ˄ P26(z,y)]
- ˄ ¬ (∃w) [E9(w) ˄ P25i(x,w) ˄ P27(w,y)˄ P182(z,w)]]


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


P82b конец конец


P126 χρησιμοποιήθηκε σε


E20 Биологический Объект


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 E3 Condition State that was observed in an instance of E14 Condition Assessment activity.

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

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


P123 είχε ως αποτέλεσμα


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


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


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

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

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

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


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


E77 Постоянная Сущность


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

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

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


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


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


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

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

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

In First Order Logic:
- P21(x,y) ⇒ E7(x)
- P21(x,y) ⇒ E55(y)


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

Scope note:
This property associates an instance of E74 Group with an instance of E39 Actor that is or has been a member thereof.
Instances of E74 Group and E21 Person may all be members of instances of E74 Group. An instance of E74 Group may be founded initially without any member.
This property is a shortcut of the more fully developed path from E74 Group, P144i gained member by, E85 Joining, P143 joined to E39 Actor.
The property P107.1 kind of member can be used to specify the type of membership or the role the member has in the group.

Examples:
- László Moholy-Nagy (E21) is current or former member of Bauhaus (E74). (Moholy-Nagy, 2012)
- National Museum of Science and Industry (E74) has current or former member The National Railway Museum (E74). (Rolt, 1971)
- The married couple Queen Elisabeth and Prince Phillip (E74) has current or former member Prince Phillip (E21) kind of member husband (E55). (Brandreth, 2004)

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

In First Order Logic:
- P107(x,y) ⇒ E74(x)
- P107(x,y) ⇒ E39(y)
- P107(x,y,z) ⇒ [P107(x,y) ∧ E55(z)]
- P107(x,y) ⇐ (∃z) [E85(z) ˄ P144i(x,z) ˄ P143(z,y)]


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


P107 是当前或以往成员


P135 δημιουργήθηκε από


E18 Физическая Вещь


E79 Добавление Части


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


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

Scope note of the inverse property:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts definitely before the 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 of the inverse property:
- 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 of the inverse property:
- 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)


P110 увеличил


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

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

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

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


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

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

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

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


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


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

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

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

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


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

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

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

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


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


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

Scope note:
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:
- Napoleon (E21) participated in The Battle of Waterloo (E7). (Dawson, 2018)
- Maria (E21) participated in Photographing of Maria (E7). (fictitious)

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


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

Scope note of the inverse property:
This property associates an instance of E35 Title that has been applied to an instance of E71 Human-Made Thing.
The P102.1 has type property of the P102 has title (is title of) property enables the relationship between the title and the thing to be further clarified, for example, if the title was a given title, a supplied title etc.
It allows any human-made material or immaterial thing to be given a title. It is possible to imagine a title being created without a specific object in mind.

Examples of the inverse property:
- The first book of the Old Testament (E33) has title “Genesis” (E35) has type translated title (E55) (E55). (Brueggemann, 1982)
- Monet’s painting from 1868-1869 held by Musée d’Orsay, Paris, under inventory number RF 1984 164 (E22) has title “La Pie” (E35) has type creator’s title (E55). (Musée d’Orsay, 2020)
- Monet’s painting from 1868-1869 held by Musée d'Orsay, Paris, under inventory number RF 1984 164 (E22) has title “The Magpie” (E35) has type translated title (E55). (Musée d'Orsay, 2020)

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


P33 был использован посредством


P17 обусловил


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

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

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

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


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


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

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

Examples 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 from Paris, Grande Halle de la Villette (E53).

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


P105 δικαίωμα κατέχεται από


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


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

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

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

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


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


P123 προέκυψε από


P127 имеет вышестоящий термин


P7 совершался на


P34 имел дело с


Scope note:
This class comprises all persistent physical items with a relatively stable form, human-made or natural.
Depending on the existence of natural boundaries of such things, the CIDOC CRM distinguishes the instances of E19 Physical Object from instances of E26 Physical Feature, such as holes, rivers, pieces of land, etc. Most instances of E19 Physical Object can be moved (if not too heavy), whereas features are integral to the surrounding matter.
An instance of E18 Physical Thing occupies not only a particular geometric space at any 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. We include in the occupied space the space filled by the matter of the physical thing and all its inner spaces, such as the interior of a box. For the purpose of more detailed descriptions of the presence of an instance of E18 Physical Thing in space and time it can be associated with its specific instance of E92 Spacetime Volume by the property P196 defines (is defined by).
The CIDOC CRM is generally not concerned with amounts of matter in fluid or gaseous states, as long as they are not confined in an identifiable way for an identifiable minimal time-span.

Examples:
- the Cullinan Diamond (E19) (Scarratt and Shor, 2006)
- the cave “Ideon Andron” in Crete (E26) (Smith, 1844-49)
- the Mona Lisa (E22) (Mohen, 2006)

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


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

Scope note of the inverse property:
This property associates an instance of E95 Spacetime Primitive with the instance of E92 Spacetime Volume it defines.

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

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


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

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

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

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


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


Scope note:
This class comprises the actions of making assertions about one property of an object or any single relation between two items or concepts. The type of the property asserted to hold between two items or concepts can be described by the property P177 assigned property of type (is type of property assigned): E55 Type.
For example, the class describes the actions of people making propositions and statements during certain scientific/scholarly procedures, e.g. the person and date when a condition statement was made, an identifier was assigned, the museum object was measured, etc. Which kinds of such assignments and statements need to be documented explicitly in structures of a schema rather than free text, depends on whether this information should be accessible by structured queries.
This class allows for the documentation of how the respective assignment came about, and whose opinion it was. Note that all instances of properties described in a knowledge base are the opinion of someone. Per default, they are the opinion of the team maintaining the knowledge base. This fact must not individually be registered for all instances of properties provided by the maintaining team, because it would result in an endless recursion of whose opinion was the description of an opinion. Therefore, the use of instances of E13 Attribute Assignment marks the fact that the maintaining team is in general neutral to the validity of the respective assertion, but registers someone else’s opinion and how it came about.
All properties assigned in such an action can also be seen as directly relating the respective pair of items or concepts. Multiple use of instances of E13 Attribute Assignment may possibly lead to a collection of contradictory values.

Examples:
- the examination of MS Sinai Greek 418 by Nicholas Pickwoad in November 2003 (Honey & Pickwoad, 2010)
- the assessment of the current ownership of Martin Doerr’s silver cup in February 1997 (fictitious)

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


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

Scope note:
This property associates an instance(s) of E33 Linguistic Object with an instance of E56 Language in which it is, at least partially, expressed.
Linguistic Objects are composed in one or more human languages. This property allows these languages to be documented.

Examples:
- The United States Declaration of Independence (E33) has language 18(th) Century English (E56). (Perley, 2017)

In First Order Logic:
- P72(x,y) ⇒ E33(x)
- P72(x,y) ⇒ E56(y)


P22 μετεβίβασε τον τίτλο σε


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

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

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

In First Order Logic of the inverse property:
- P126(x,y) ⇒ E11(x)
- P126(x,y) ⇒ E57(y)


E21 Личность


P40 παρατήρησε


P109 hat derzeitigen oder früheren Kurator


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

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

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

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


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

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

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


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


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

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

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

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

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

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

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

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


P59 имеет район


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


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


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

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

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

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


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


Scope note:
This class comprises distinct, delimited and coherent processes and interactions of a material nature, in cultural, social or physical systems, involving and affecting instances of E77 Persistent Item in a way characteristic of the kind of process. Typical examples are meetings, births, deaths, actions of decision taking, making or inventing things, but also more complex and extended ones such as conferences, elections, building of a castle, or battles.
While the continuous growth of a tree lacks the limits characteristic of an event, its germination from a seed does qualify as an event. Similarly, the blowing of the wind lacks the distinctness and limits of an event, but a hurricane, flood or earthquake would qualify as an event. Mental processes are considered as events, in cases where they are connected with the material externalization of their results; for example, the creation of a poem, a performance or a change of intention that becomes obvious from subsequent actions or declarations.
The effects of an instance of E5 Event may not lead to relevant permanent changes of properties or relations of the items involved in it, for example an unrecorded performance. Of course, in order to be documented, some kind of evidence for an event must exist, be it witnesses, traces or products of the event.
While instances of E4 Period always require some form of coherence between its constituent phenomena, in addition, the essential constituents of instances of E5 Event should contribute to an overall effect; for example, the statements made during a meeting and the listening of the audience.
Viewed at a coarse level of detail, an instance of E5 Event may appear as if it had an ‘instantaneous’ overall effect, but any process or interaction of material nature in reality have an extent in time and space. At a fine level, instances of E5 Event may be analysed into component phenomena and phases within a space and timeframe, and as such can be seen as a period, regardless of the size of the phenomena. The reverse is not necessarily the case: not all instances of E4 Period give rise to a noteworthy overall effect and are thus not instances of E5 Event.

Examples:
- the birth of Cleopatra (E67) (Pomeroy, 1984)
- the destruction of Herculaneum by volcanic eruption in 79 AD (E6) (Camardo, 2013)
- World War II (E7) (Barber, 1994)
- the Battle of Stalingrad (E7) (Hoyt, 1993)
- the Yalta Conference (E7) (Harbutt, 2010)
- my birthday celebration 28-6-1995 (E7)
- the falling of a tile from my roof last Sunday (fictitious)
- the CIDOC conference 2003 (E7)

In First Order Logic:
- E5(x) ⇒ E4(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 E74 Group with an instance of E39 Actor that is or has been a member thereof.
Instances of E74 Group and E21 Person may all be members of instances of E74 Group. An instance of E74 Group may be founded initially without any member.
This property is a shortcut of the more fully developed path from E74 Group, P144i gained member by, E85 Joining, P143 joined to E39 Actor.
The property P107.1 kind of member can be used to specify the type of membership or the role the member has in the group.

Examples of the inverse property:
- László Moholy-Nagy (E21) is current or former member of Bauhaus (E74). (Moholy-Nagy, 2012)
- National Museum of Science and Industry (E74) has current or former member The National Railway Museum (E74). (Rolt, 1971)
- The married couple Queen Elisabeth and Prince Phillip (E74) has current or former member Prince Phillip (E21) kind of member husband (E55). (Brandreth, 2004)

In First Order Logic of the inverse property:
- P107(x,y) ⇒ E74(x)
- P107(x,y) ⇒ E39(y)
- P107(x,y,z) ⇒ [P107(x,y) ∧ E55(z)]
- P107(x,y) ⇐ (∃z) [E85(z) ˄ P144i(x,z) ˄ P143(z,y)]


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

Scope note:
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:
- 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:
- P196(x,y) ⇒ E18(x)
- P196(x,y) ⇒ E92(y)


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


P138 имеет представление


P53 βρίσκεται ή βρισκόταν σε


Quantification of the inverse property: many to many (0,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 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 of the inverse property:
- 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 of the inverse property:
- P197(x,y) ⇒ E93(x)
- P197(x,y) ⇒ E53(y)


P14 πραγματοποίησε


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


P26 перемещен в


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


E81 Трансформация


Scope note:
This class is a specialization of E55 Type and comprises the concepts of materials.
Instances of E57 Material may denote properties of matter before its use, during its use, and as incorporated in an object, such as ultramarine powder, tempera paste, reinforced concrete. Discrete pieces of raw-materials kept in museums, such as bricks, sheets of fabric, pieces of metal, should be modelled individually in the same way as other objects. Discrete used or processed pieces, such as the stones from Nefer Titi's temple, should be modelled as parts (cf. P46 is composed of (forms part of): E18 Physical Thing).
This type is used categorically in the model without reference to instances of it, i.e. the Model does not foresee the description of instances of instances of E57 Material, e.g. “instances of gold”.
It is recommended that internationally or nationally agreed codes and terminology should be used.

Examples:
- brick (Gurcke, 1987)
- gold (Watson, 1990)
- aluminium (Norman, 1986)
- polycarbonate (Mhaske, 2011)
- resin (Barton, 1992)

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


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


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

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

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

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


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

Scope note of the inverse property:
This property describes an item or items that are regarded as a reason for carrying out the instance of E7 Activity.
For example, the discovery of a large hoard of treasure may call for a celebration, an order from headquarters can start a military manoeuvre.

Examples of the inverse property:
- The resignation of the chief executive (E7) was motivated by the collapse of SwissAir (E68).
- The coronation of Elizabeth II (E7) was motivated by the death of George VI (E69). (Strong, 2005)

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


P130 a les caractéristiques aussi présentes sur


P53 是之前或当前位置


P91 αποτελεί μονάδα μέτρησης του/της


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


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


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


P54 a actuellement pour localisation fixe


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

Scope note of the inverse property:
This property describes the active or passive presence of an E77 Persistent Item in an instance of E5 Event without implying any specific role.
It documents known events in which an instance of E77 Persistent Item was present during the course of its life or history. For example, an object may be the desk, now in a museum, on which a treaty was signed. The instance of E53 Place and the instance of E52 Time-Span where and when these events happened provide constraints about the presence of the related instance E77 Persistent Item in the past. Instances of E90 Symbolic Object, in particular information objects, are physically present in events via at least one of the instances of E18 Physical Thing carrying them. Note, that the human mind can be such a carrier. A precondition for a transfer of information to a person or another new physical carrier is the presence of the respective information object and this person or physical thing in one event.

Examples of the inverse property:
- Deckchair 42 (E19) was present at the sinking of the Titanic (E5). (Aldridge, 2008)

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


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


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

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

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

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


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

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

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

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


P51 hat früheren oder derzeitigen Besitzer


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

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

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

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


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

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

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


P17 είχε ως αφορμή


P24 transferiu os direitos de propriedade sobre o


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


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


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

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

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


P57 имеет число частей


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


P67 имеет ссылку на себя от


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

Scope note:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity ends 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:
- 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:
- 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)


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


Scope note:
This class comprises the states of objects characterised by a certain condition over a time-span.
An instance of this class describes the prevailing physical condition of any material object or feature during a specific instance of E52 Time-Span. In general, the time-span for which a certain condition can be asserted may be shorter than the real time-span, for which this condition held.
The nature of that condition can be described using P2 has type. For example, the instance of E3 Condition State “condition of the SS Great Britain between 22(nd) September 1846 and 27(th) August 1847” can be characterized as an instance “wrecked” of E55 Type.

Examples:
- the "reconstructed" state of the “Amber Room” in Tsarskoje Selo from summer 2003 until now (Owen, 2009)
- the "ruined" state of Peterhof Palace near Saint Petersburg from 1944 to 1946 (Maddox, 2015)
- the state of my turkey in the oven at 14:30 on 25(th) December 2002 [P2 has type: E55 Type “still not cooked”] (fictitious)
- the topography of the leaves of Sinai Printed Book 3234.2361 on the 10(th) July 2007 [described as: of type "cockled"] (fictitious)

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


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 which shares a part of its border.
This property is purely spatial. It does not imply that the phenomena that define, by their extent, places related by P122 borders with have ever shared a respective border at the same time or even coexisted. In particular, this may be the case when the respective common border is formed by a natural feature.
This property is not transitive. This property is symmetric.

Examples:
- Scotland in its 1603 borders (E53) borders with England in its 1603 borders (E53). (Crofton, 2015)

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


P137 поясняется посредством


P175 commence avant ou au moment du début de


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

Scope note:
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:
- 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:
- P164(x,y) ⇒ E93(x)
- P164(x,y) ⇒ E52(y)
- P164(x,y) ⇒ P160(x,y)


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

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

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

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


E18 Υλικό Πράγμα


P81b начать в конце


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

Scope note:
This property documents that an instance of E89 Propositional Object makes a statement about an instance of E1 CRM Entity. P67 refers to (is referred to by) has the P67.1 has type link to an instance of E55 Type. This is intended to allow a more detailed description of the type of reference. This differs from P129 is about (is subject of), which describes the primary subject or subjects of the instance of E89 Propositional Object.

Examples:
- The eBay auction listing of 4(th) July 2002 (E73) refers to silver cup 232 (E22) has type item for sale (E55). (fictitious)

Properties:
- P67.1 has type: E55 Type

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


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

Scope note of the inverse property:
This property links an instance of E67 Birth to an instance of E21 Person in the role of 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 of the inverse property:
- The birth of Queen Elizabeth II (E67) by mother Her Majesty Queen Elizabeth The Queen Mother (E21). (Parker, 2002)

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


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

Scope note of the inverse property:
This property identifies the instance(s) of E18 Physical Thing involved in an instance of E8 Acquisition.
In reality, an acquisition must refer to at least one transferred item.

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

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


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


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


P99 διαλύθηκε από


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


Erlangen CRM / OWL - An OWL DL 1.0 implementation of the CIDOC Conceptual Reference Model, based on: Nick Crofts, Martin Doerr, Tony Gill, Stephen Stead, Matthew Stiff (eds.): Definition of the CIDOC Conceptual Reference Model (http://cidoc-crm.org/).
This implementation has been originally created by Bernhard Schiemann, Martin Oischinger and Günther Görz at the Friedrich-Alexander-University of Erlangen-Nuremberg, Department of Computer Science, Chair of Computer Science 8 (Artificial Intelligence) in cooperation with the Department of Museum Informatics of the Germanisches Nationalmuseum Nuremberg and the Department of Biodiversity Informatics of the Zoologisches Forschungsmuseum Alexander Koenig Bonn.
The Erlangen CRM / OWL implementation of the CIDOC Conceptual Reference Model is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.


P111 προσέθεσε


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

Scope note:
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:
- 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:
- P34(x,y) ⇒ E14(x)
- P34(x,y) ⇒ E18(y)
- P34(x,y) ⇒ P140(x,y)


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


P130 демонстрирует признаки


Scope note:
This class comprises any gatherings or organizations of human individuals or groups that act collectively or in a similar way due to any form of unifying relationship. In the wider sense this class also comprises official positions which used to be regarded in certain contexts as one actor, independent of the current holder of the office, such as the president of a country. In such cases, it may happen that the group never had more than one member. A joint pseudonym (i.e. a name that seems indicative of an individual but that is actually used as a persona by two or more people) is a particular case of E74 Group.
A gathering of people becomes an instance of E74 Group when it exhibits organizational characteristics usually typified by a set of ideas or beliefs held in common, or actions performed together. These might be communication, creating some common artifact, a common purpose such as study, worship, business, sports, etc. Nationality can be modelled as membership in an instance of E74 Group. Married couples and other concepts of family are regarded as particular examples of E74 Group.

Examples:
- the Impressionists (Wilson, 1994)
- the Navajo (Correll, 1972)
- the Greeks (Williams, 1993)
- the peace protestors in New York City on 15(th) February 2003
- Exxon-Mobil (Raymond, 2006)
- King Solomon and his wives (Thieberger, 1947)
- the President of the Swiss Confederation
- Nicolas Bourbaki [the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure] (Aczel, 2007)
- Betty Crocker (Crocker, 2012)
- Ellery Queen [Ellery Queen is a pseudonym created in 1929 by American crime fiction writers Frederic Dannay and Manfred Bennington Lee.] (Wheat, 2005)
- Greenpeace
- Paveprime Ltd
- the National Museum of Denmark

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


P86 содержит


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

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


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

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

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

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

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


P28 опека отдана через


P90 имеет значение


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

Scope note of the inverse property:
This property identifies an instance of E53 Place as the former or current location of an instance of E18 Physical Thing.
In the case of instances of E19 Physical Object, the property does not allow any indication of the Time-Span during which the instance of E19 Physical Object was located at this instance of E53 Place, nor if this is the current location.
In the case of immobile objects, the Place would normally correspond to the Place of creation.
This property is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path from E19 Physical Object, though, P25i moved by, E9 Move, P26 moved to or P27 moved from to E53 Place.

Examples of the inverse property:
- Silver cup 232 (E22) has former or current location Display Case 4, Room 23, Museum of Oxford (E53). (fictitious)

In First Order Logic of the inverse property:
- P53(x,y) ⇒ E18(x)
- P53(x,y) ⇒ E53(y)
- P53(x,y) ⇐ (∃z) [E9(z) ˄ P25i(x,z) ˄ [P26(z,y) ˅ P27(z,y)]]


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


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

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

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

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


P109 est responsable actuel ou antérieur de la collection


P33 a mobilisé comme technique spécifique


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


P22 transferiu os direitos de propriedade para


Scope note:
This class comprises the activities that result in an instance of E39 Actor to be disassociated from an instance of E74 Group. This class does not imply initiative by either party. It may be the initiative of a third party.
Typical scenarios include the termination of membership in a social organisation, ending the employment at a company, divorce, and the end of tenure of somebody in an official position.

Examples:
- the end of Sir Isaac Newton’s duty as Member of Parliament for the University of Cambridge to the Convention Parliament in 1702 (Gleick, 2003)
- George Washington’s leaving office in 1797 (Jones, 1979)
- the implementation of the treaty regulating the termination of Greenland’s membership in EU between EU, Denmark and Greenland 1(st) February 1985

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


P93 прекратил существование посредством


E10 Передача Опеки


P82a начать с начала


P24 άλλαξε ιδιοκτησία μέσω


P41 χαρακτήρισε


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


P101 был применением для


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


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


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

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

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

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


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

Scope note of the inverse property:
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 of the inverse property:
- The paintings from The Iveagh Bequest (E78) has current keeper The National Gallery (E74) (Iveagh Bequest, 1975)

In First Order Logic of the inverse property:
- 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)]]


P54 est actuellement la location fixe de


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


Scope note:
This class comprises activities that are designed to, and succeed in, creating one or more new items.
It specializes the notion of modification into production. The decision as to whether or not an object is regarded as new is context sensitive. Normally, items are considered “new” if there is no obvious overall similarity between them and the consumed items and material used in their production. In other cases, an item is considered “new” because it becomes relevant to documentation by a modification. For example, the scribbling of a name on a potsherd may make it a voting token. The original potsherd may not be worth documenting, in contrast to the inscribed one.
This entity can be collective: the printing of a thousand books, for example, would normally be considered a single event.
An event should also be documented using an instance of E81 Transformation if it results in the destruction of one or more objects and the simultaneous production of others using parts or material from the originals. In this case, the new items have separate identities and matter is preserved, but identity is not.

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

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


E33 Γλωσσικό Αντικείμενο


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


P86 περιέχει


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

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

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

In First Order Logic:
- P30(x,y) ⇒ E10(x)
- P30(x,y) ⇒ E18(y)


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


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

Scope note of the inverse property:
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 of the inverse property:
- 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 of the inverse property:
- P86(x,y) ⇒ E52(x)
- P86(x,y) ⇒ E52(y)
- [P86(x,y) ∧ P86(y,z)] ⇒ P86(x,z)
- P86(x,x)


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

Scope note of the inverse property:
This property describes the largest volume in space, an instance of E53 Place, that an instance of E18 Physical Thing has occupied at any time during its existence, with respect to the reference space relative to the physical thing itself. This allows for describing the thing itself as a place that may contain other things, such as a box that may contain coins. In other words, it is the volume that contains all the points which the thing has covered at some time during its existence. The reference space for the associated place must be the one that is permanently at rest (P157 is at rest relative to) relative to the physical thing. For instances of E19 Physical Objects it is the one which is at rest relative to the object itself, i.e., which moves together with the object. For instances of E26 Physical Feature it is one which is at rest relative to the physical feature itself and the surrounding matter immediately connected to it. Therefore, there is a 1:1 relation between the instance E18 Physical Thing and the instance of E53 Place it occupies. We include in the occupied space the space filled by the matter of the physical thing and all its inner spaces.
This property implies the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P161 has spatial projection to E53 Place. However, in contrast to P156 occupies, the property P161 has spatial projection does not constrain the reference space of the referred instance of E53 Place.
In contrast to P156 occupies, for the property P53 has former or current location the following holds:
It does not constrain the reference space of the referred instance of E53 Place.
It identifies a possibly wider instance of E53 Place at which a thing is or has been for some unspecified time-span.
If the reference space of the referred instance of E53 Place is not at rest with respect to the physical thing found there, the physical thing may move away after some time to another place and/or may have been at some other place before. The same holds for the fully developed path from E18 Physical Thing through P196 defines, E92 Spacetime Volume, P161 has spatial projection to E53 Place.

Examples of the inverse property:
- The Saint Titus reliquary (E22) occupies the space of the Saint Titus reliquary (E53). [The reliquary is currently kept in the Saint Titus Church in Heraklion, Crete since 1966 and contains the skull of Saint Titus.] (Fisher & Garvey, 2010)
- Burg Eltz near Koblenz, Germany (E24) occupies the space within the 1661AD outer walls of Burg Eltz (E53). [The castle (English name: Eltz Castle) underwent a series of expansions starting in the 12(th) century until it reached its current extent in 1661AD and contains buildings from various periods.]

In First Order Logic of the inverse property:
- P156(x,y) ⇒ E53(y)
- P156(x,y) ⇒ E18(x)
- P156(x,y) ⇔ (∃z) [E18(x) ∧ E53(y) ∧ P196(x,z) ∧ P161(z,y) ∧ P157(y,x)]


P14 выполнял


P71 περιλαμβάνεται σε


P23 a transféré le titre de propriété de


P35 έχει διαπιστώσει


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

Scope note:
This property identifies an instance of E53 Place as the former or current location of an instance of E18 Physical Thing.
In the case of instances of E19 Physical Object, the property does not allow any indication of the Time-Span during which the instance of E19 Physical Object was located at this instance of E53 Place, nor if this is the current location.
In the case of immobile objects, the Place would normally correspond to the Place of creation.
This property is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path from E19 Physical Object, though, P25i moved by, E9 Move, P26 moved to or P27 moved from to E53 Place.

Examples:
- Silver cup 232 (E22) has former or current location Display Case 4, Room 23, Museum of Oxford (E53). (fictitious)

In First Order Logic:
- P53(x,y) ⇒ E18(x)
- P53(x,y) ⇒ E53(y)
- P53(x,y) ⇐ (∃z) [E9(z) ˄ P25i(x,z) ˄ [P26(z,y) ˅ P27(z,y)]]


P102 является заголовком для


P15 находился под влиянием


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

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

Properties:
- P130.1 kind of similarity: E55 Type

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


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

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

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

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


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


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

Scope note:
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:
- The Tay Bridge Disaster (E6) destroyed the Tay Bridge (E22). (Thomas, 1972)

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


P62 описан посредством


P7 был местом совершения


P24 μετεβίβασε τον τίτλο του/της


E12 Событие Производства


P24 a transféré le titre de propriété de


P2 έχει τύπο


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

Scope note of the inverse property:
This property associates an instance of E2 Temporal Entity with the instance of E52 Time-Span during which it was on-going. The associated instance of E52 Time-Span is understood as the real time-span during which the phenomena making up the temporal entity instance were active. More than one instance of E2 Temporal Entity may share a common instance of E52 Time-Span only if they come into being and end being due to identical declarations or events.

Examples of the inverse property:
- The Yalta Conference (E7) has time-span Yalta Conference time-span (E52). (Harbutt, 2010)

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


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

Scope note of the inverse property:
This property associates an instance of E99 Product Type with an instance of E29 Design or Procedure that completely determines the production of instances of E18 Physical Thing. The resulting instances of E18 Physical Thing are considered exemplars of this instance of E99 Product Type when the process specified is correctly executed. Note that the respective instance of E29 Design or Procedure may not necessarily be fixed in a written/graphical form, and may require the use of tools or models unique to the product type. The same instance of E99 Product Type may be associated with several variant plans.

Examples of the inverse property:
- Volkswagen Type 11 (Beetle) (E99) has production plan the production plans for Volkswagen Type 11 (Beetle) (E29). (Rieger, 2013)

In First Order Logic of the inverse property:
- P187(x,y) ⇒ E99(x)
- P187(x,y) ⇒ E29(y)


P62 описывает


P13 уничтожил


P29 опека получена


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

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

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

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


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

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

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

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


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

Scope note:
This property associates an instance of E52 Time-Span with a note detailing the scholarly or scientific opinions and justifications about the certainty, precision, sources etc. of its beginning. Such notes may also be used to elaborate arguments about constraints or to give explanations of alternatives.

Examples:
- The time-span of the Holocene (E52) beginning is qualified by “The formal definition and dating of the GSSP (GlobalStratotype Section and Point) for the base of the Holocene using the Greenland NGRIP ice core, and selected auxiliary records” (E62). (Walker et al., 2009)

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


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

Scope note:
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:
- Dante’s “Divine Comedy” (E89) has component Dante’s “Hell” (E89). (Alighieri, 1956)

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


E13 Απόδοση Ιδιοτήτων


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


E3 Состояние


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

Scope note:
This property describes the maximum period of time within which an E52 Time-Span falls. Since Time-Spans may not have precisely known temporal extents, the CIDOC CRM supports statements about the minimum and maximum temporal extents of Time-Spans. This property allows a Time-Span’s maximum temporal extent (i.e. its outer boundary) to be assigned an E61 Time Primitive value. Time Primitives are treated by the CIDOC CRM as application or system specific date intervals, and are not further analysed. If different sources of evidence justify different maximum extents without contradicting each other, the resulting intersection of all these extents will be the best estimate. This should be taken into account for information integration.

Examples:
- The time-span of the development of the CIDOC CRM (E52) at some time within “1992-infinity” (E61). (Doerr, 2003)
- The Time-Span of the Battle in the Teutoburg Forest (E52) at some time within “September 9 CE” (E61). (Andrews & Kesteven, 1977)
- The time-Span of the death of Tut Ankh Amun (E52) at some time within “December 1324 BC to February 1323 BC” (E61). (Murdoch, 2003)
- The time-span of the First Intermediate Period of Ancient Egypt (7(th) to 10(th) dynasty) (E52) at some time within “2475BC - 2125BC” (E61). (Reid, 1993)

In First Order Logic:
- P82(x,y) ⇒ E52(x)
- P82(x,y) ⇒ E61(y)


P55 в данный момент содержит


P98 был рожден


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

Scope note of the inverse property:
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 of the inverse property:
- 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 of the inverse property:
- P20(x,y) ⇒ E7(x)
- P20(x,y) ⇒ E5(y)


P108 произвел


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

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

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

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


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

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

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

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


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