P112 a diminué (a été diminué par)

Date de création : 2023-11-08

Dernière mise à jour : 2023-12-22

Domaine

E80 Part Removal

E80_Retrait_d’élément

Portée

E18 Physical Thing

E18_Chose_matérielle

Sous-propriété de

E11 Modification. P31 has modified (was modified by): E18 Physical Thing

E11_Modification. P31_a_modifié (a_été_modifié_par) : E18_Chose_matérielle

Super-propriété de

Quantification

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

plusieurs à plusieurs, nécessaire (1,n:0,n)

Note d’application

This property identifies the instance of E18 Physical Thing that was diminished by an instance of E80 Part Removal.

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

Cette propriété identifie l'instance de E18_Chose_matérielle qui a été diminuée par une instance de E80_Retrait_d’élément. Bien qu'une instance de E80_Retrait_d’élément ne concerne normalement qu'une instance de E18_Chose_matérielle, il est possible d'imaginer des circonstances au cours desquelles plus d'un élément pourrait être diminué par une seule instance de E80_Retrait_d’élément.

Exemples

  • The coffin of Tut-Ankh-Amun (E22) was diminished by The opening of the coffin of Tut-Ankh-Amun (E80). (Carter, 2014)

  • The coral of the Cocos Islands (E20) was diminished by The removal of the Porite coral specimen by Charles Darwin (E80). (Natural History Museum, 2010, b)

  • Le cercueil de Toutânkhamon (E22_Objet_élaboré_par_l’humain) a été diminué par (P112i_a_été_diminué_par) l'ouverture du cercueil de Toutânkhamon (E80_Retrait_d’élément) (Carter, 2014)

  • Les coraux des îles Cocos (E20_Objet_biologique) ont été diminués par (P112i_a_été_diminué_par) le retrait d'un spécimen de porites par Charles Darwin (E80_Retrait_d’élément) (Natural History Museum, 2010b)

Logique

P112(x,y) ⇒ E80(x)

P112(x,y) ⇒ E18(y)

P112(x,y) ⇒ P31(x,y)

P112(x,y) ⇒ E80(x) P112(x,y) ⇒ E18(y) P112(x,y) ⇒ P31(x,y)

Propriétés

Note de traduction

Références