diminished (was diminished by) – P112

P112 diminished (was diminished by)

Quantification:

0,n:1,n

Scope note:

This property identifies the E24 Physical Man-Made Thing that was diminished by E80 Part Removal.

Although a Part removal activity normally concerns only one item of Physical Man-Made Thing, it is possible to imagine circumstances under which more than one item might be diminished by a single Part Removal activity.

Examples:

the coffin of Tut-Ankh-Amun (E22) was diminished by The opening of the coffin of Tut-Ankh-Amun (E80)

In First Order Logic:

  • P112(x,y) ⇒ E80(x)
  • P112(x,y) ⇒ E24(y)
  • P112(x,y) ⇒ P31(x,y)

Scope notes

Show Scope note Language Namespace View details Comments
This property identifies the E24 Physical Man-Made Thing that was diminished by E80 Part Removal. Although a Part removal activity normally concerns only one item of Physical Man-Made Thing, it is possible to imagine circumstances under which more than one item might be diminished by a single Part Removal activity. en CIDOC CRM version 6.2 0

Examples

Show Example Language Namespace View details Comments
the coffin of Tut-Ankh-Amun (E22) was diminished by The opening of the coffin of Tut-Ankh-Amun (E80) en CIDOC CRM version 6.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P112

Official URI: http://www.cidoc-crm.org/cidoc-crm/P112_diminished
OntoME URI: https://ontome.net/ontology/p100

Domain and range

crm:E80 Part Removal → P112 diminished (was diminished by) → crm:E24 Physical Man-Made Thing  (Quantifiers 0,n:1,n)

Labels

Label Language Last updated View details Comments
diminished (was diminished by) en 2022-06-13 0
a diminué * fr 2021-06-10 0
уменьшил * ru 2021-06-10 0
缩减了 * zh 2021-06-10 0
diminuiu * pt 2021-06-10 0
verminderte * de 2021-06-10 0
εξάλειψε * el 2021-06-10 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.2 2022-06-13
CIDOC CRM version 5.0.4 2022-06-13
CIDOC CRM version 6.2 2021-06-10

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E11 Modification (0,n) P31 has modified (was modified by) (1,n) crm:E24 Physical Man-Made Thing CIDOC CRM version 6.2 CIDOC CRM version 6.2 0

Ancestor properties

Domain Property Range Depth Property namespace
crm:E5 Event (0,n) P12 occurred in the presence of (was present at) (0,1) crm:E77 Persistent Item 2 CIDOC CRM version 6.2
crmsci:S18 Alteration O18 altered (was altered by) crm:E18 Physical Thing 2 CRMsci version 1.2.3

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated
Silknow working profile 1 Ongoing 2023-10-25

Comments