diminished (was diminished by) – P112
P112 diminished (was diminished by)
Domain:
Quantification:
0,n:1,n
Subproperty of:
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
Examples
Additional notes
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
: Standard label for this language
Comments
No comment found.