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)


P37 αποδόθηκε ως ιδιότητα από


P23 perdeu os direitos de propriedade por meio da


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

Scope note of the inverse property:
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 of the inverse property:
- The building of Rome (E12) has produced the Colosseum (E24). (Hopkins & Beard, 2011)

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


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

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

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

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


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


P110 увеличил


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


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


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)


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

Scope note:
This property describes a minimum spatial extent which is contained within an instance of E53 Place. Since instances of E53 Place may not have precisely known spatial extents, the CIDOC CRM supports statements about minimum spatial extents of instances of E53 Place. This property allows an instance of E53 Place’s minimum spatial extent (i.e., its inner boundary or a point being within a Place) to be assigned an instance of E94 Space Primitive value.
This property is a shortcut of the fully developed path from E53 Place, P89i contains, E53 Place, P168 place is defined by to E94 Space Primitive.

Examples:
- The spatial extent of the Acropolis of Athens (E53) contains POINT (37.971431 23.725947) (E94).

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


P81 καθόλη τη διάρκεια του/της


P1 είναι αναγνωριστικό


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

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

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

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


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)


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


P125 Objekt des Typus ... wurde benutzt in


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


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

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

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

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

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

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

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

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


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


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

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

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

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

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


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

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

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


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


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


P67 αναφέρεται από


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

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

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


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


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


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

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

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

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


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


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


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)


Scope note:
This class comprises all persistent physical items of any size that are purposely created by human activity. This class comprises, besides others, human-made objects, such as a sword, and human-made features, such as rock art. For example, a “cup and ring” carving on bedrock is regarded as instance of E24 Physical Human-Made Thing.
Instances of E24 Physical Human-Made Thing may be the result of modifying pre-existing physical things, preserving larger parts or most of the original matter and structure, which poses the question if they are new or even human-made, the respective interventions of production made on such original material should be obvious and sufficient to regard that the product has a new, distinct identity and intended function and is human-made. Substantial continuity of the previous matter and structure in the new product can be documented by describing the production process also as an instance of E81 Transformation.
Whereas interventions of conservation and repair are not regarded to produce a new instance of E24 Physical Human-Made Thing, the results of preparation of natural history specimens that substantially change their natural or original state should be regarded as instances of E24 Physical Human-Made Things, including the uncovering of petrified biological features from a solid piece of stone. On the other side, scribbling a museum number on a natural object should not be regarded to make it human-made. This notwithstanding, parts, sections, segments, or features of an instance of E24 Physical Human-Made Thing may continue to be non-human-made and preserved during the production process, for example natural pearls used as a part of an eardrop.

Examples:
- the Forth Railway Bridge (Shipway, Bouch, Baker and Fowler, 1990).
- the Channel Tunnel (E25) (Holliday, Marcou and Vickerman, 1991)
- the Palace of Knossos (Evans, 1921)
- the Colosseum in Rome, Italy (Hopkins and Beard, 2011)
- the Historical Collection of the Museum Benaki in Athens (E78) (Georgoula, 2005)
- the Rosetta Stone (E22)
- my paperback copy of Crime & Punishment (E22) (fictitious)
- the computer disk at ICS-FORTH that stores the canonical Definition of the CIDOC CRM v.3.2 (E22)
- my empty DVD disk (E22) (fictitious)

In First Order Logic:
- E24(x) ⇒ E18(x)
- E24(x) ⇒ E71(x)


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


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


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

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

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

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


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


E10 Μεταβίβαση Κατοχής


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


P40 παρατήρησε


P110 επαυξήθηκε από


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

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

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

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


P184 se termine avant ou au moment de la fin de


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


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)


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

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

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

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


P124 μετατράπηκε από


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

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

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

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


E3 Κατάσταση


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


P74 有当前或曾经居住地


P54 est actuellement la location fixe de


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

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

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

In First Order Logic of the inverse property:
- P128(x,y) ⇒ E18(x)
- P128(x,y) ⇒ E90(y)
- P128(x,y) ⇒ P130(x,y)


E31 Τεκμήριο


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


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


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)


Scope note:
This class comprises the actions of classifying items of whatever kind. Such items include objects, specimens, people, actions, and concepts.
This class allows for the documentation of the context of classification acts in cases where the value of the classification depends on the personal opinion of the classifier, and the date that the classification was made. This class also encompasses the notion of “determination,” i.e. the systematic and molecular identification of a specimen in biology.

Examples:
- the first classification of object GE34604 as Lamentation cloth at the Museum Benaki, Athens
- the determination of a cactus in Martin Doerr’s garden as Cereus hildmannianus K.Schum., July 2003

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


P65 εμφανίζει οπτικό στοιχείο


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

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

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

Properties:
- P139.1 has type: E55 Type

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


P74 είναι ή ήταν κατοικία του/της


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

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

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

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

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

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

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

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


P49 有以往或当前保管者


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


P53 ist früherer oder derzeitiger Standort von


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

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

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

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


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

Scope note of the inverse property:
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 of the inverse property:
- The United States Declaration of Independence (E33) has language 18(th) Century English (E56). (Perley, 2017)

In First Order Logic of the inverse property:
- P72(x,y) ⇒ E33(x)
- P72(x,y) ⇒ E56(y)


P56 несет признак


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


P37 назначил


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


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


P2 είναι ο τύπος του/της


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


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

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

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

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


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


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)


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

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

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

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


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

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

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

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


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


P91 имеет единицу


E67 Рождение


P110 επαύξησε


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


P138 представляет


P175 commence avant ou au moment du début de


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

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

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

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

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

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

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

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


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

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

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

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