:P113i_was_removed_by leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P113i_was_removed_by

Type

rdf:Property

Label

was removed by

Description

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

Scope note of the inverse property:
This property identifies the instance of E18 Physical Thing that is removed during an instance of E80 Part Removal activity.

Examples of the inverse property:
- 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 of the inverse property:
- P113(x,y) ⇒ E80(x)
- P113(x,y) ⇒ E18(y)
- P113(x,y) ⇒ P12(x,y)

Inherits from

Usage

DOMAINPROPERTYRANGE
:E18_Physical_Thing :P113i_was_removed_by :E80_Part_Removal

Implementation

@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#> .

:P113i_was_removed_by a rdf:Property ;
    rdfs:label "wurde entfernt durch"@de,
        "αφαιρέθηκε από"@el,
        "was removed by"@en,
        "a été retiré par"@fr,
        "foi removido por"@pt,
        "был удалeн"@ru,
        "被去除"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies the instance of E18 Physical Thing that is removed during an instance of E80 Part Removal activity.

Examples of the inverse property:
- 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 of the inverse property:
- P113(x,y) ⇒ E80(x)
- P113(x,y) ⇒ E18(y) 
- P113(x,y) ⇒ P12(x,y)
"""@en ;
    rdfs:domain :E18_Physical_Thing ;
    rdfs:range :E80_Part_Removal ;
    rdfs:subPropertyOf :P12i_was_present_at ;
    owl:inverseOf :P113_removed .