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)


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


P62 описывает


P74i ist derzeitiger oder früherer Sitz von


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

Scope note of the inverse property:
This property associates an instance of E87 Curation Activity with the instance of E78 Curated Holding with that is subject of that curation activity following some implicit or explicit curation plan.

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

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


se termine avant ou au moment de la fin de


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

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

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

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


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


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

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

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

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


έχει αριθμό μερών


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


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)


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


P92i γεννήθηκε από


έχει ως θέμα


P4i является временным отрезком для


E14 Εκτίμηση Κατάστασης


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

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

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

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

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

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

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

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


P20 имел конкретную цель


P54i ist derzeitiger permanenter Standort von


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


Diese Klasse dient dazu, Aussagen zum Werkstoff von Instanzen der Klasse Objekt anhand Instanzen der Klasse Quelleninhalt zu zu dokumentieren.

Beispiel:
Die Zuweisung des E57 Werkstoffs "Pflanzliches Material" im Kontext der Materialzuweisung für Object Fächer aus Palmblättern in Quelle Inventar 1694.


P112 уменьшил


P72 имеет язык


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


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


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

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

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

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


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

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


P8 имел место на или в


P67 αναφέρεται σε


P129 касается


Diese Klasse umfasst digitale Videodateien, z.B.
- ein Video das zeigt, wie eine Geige gespielt wird, "violin.mp4".
- ein Video auf YouTube, das jemanden zeigt, der ein Klavier aus der Sammlung Rück spielt


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


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

Scope note of the inverse property:
This property associates an instance of E66 Formation with an instance of E74 Group from which the new group was formed preserving a sense of continuity such as in mission, membership or tradition.

Examples of the inverse property:
- The formation of the House of Bourbon-Conti in 1581 (E66) was formed from House of Condé (E74). (Collectif & Musée d'art et d'histoire Louis-Senlecq, 1900)

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


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


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


An instance of the Image class visually represents instances of other classes, such as Object (nfdi4objects:Object) or E21 Person, which are usually digital photographs or scans with the file extensions TIFF or PNG. Example: The digital image represents the "Behaim globe" (object) and can be found at the URL https://... (URL).