http://www.cidoc-crm.org/cidoc-crm/P113_removed
rdf:Property
Quantification: many to many, necessary (1,n:0,n)
Scope note:
This property identifies the instance of E18 Physical Thing that is removed during an instance of E80 Part Removal activity.
Examples:
- The opening of the coffin of Tut-Ankh-Amun (E80) removed The mummy of Tut-Ankh-Amun (E20, E22). (Carter, 2014)
In First Order Logic:
- P113(x,y) ⇒ E80(x)
- P113(x,y) ⇒ E18(y)
- P113(x,y) ⇒ P12(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E80_Part_Removal | :P113_removed | :E18_Physical_Thing |
@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:P113_removed a rdf:Property ;
rdfs:label "entfernte"@de,
"αφαίρεσε"@el,
"removed"@en,
"a retiré"@fr,
"removeu"@pt,
"удалил"@ru,
"去除了"@zh ;
rdfs:comment """Quantification: many to many, necessary (1,n:0,n)
Scope note:
This property identifies the instance of E18 Physical Thing that is removed during an instance of E80 Part Removal activity.
Examples:
- The opening of the coffin of Tut-Ankh-Amun (E80) removed The mummy of Tut-Ankh-Amun (E20, E22). (Carter, 2014)
In First Order Logic:
- P113(x,y) ⇒ E80(x)
- P113(x,y) ⇒ E18(y)
- P113(x,y) ⇒ P12(x,y)
"""@en ;
rdfs:domain :E80_Part_Removal ;
rdfs:range :E18_Physical_Thing ;
rdfs:subPropertyOf :P12_occurred_in_the_presence_of ;
owl:inverseOf :P113i_was_removed_by .