http://www.cidoc-crm.org/cidoc-crm/P100i_died_in
rdf:Property
Quantification of the inverse property: one to many, necessary (1,n:0,1)
Scope note of the inverse property:
This property links an instance of E69 Death to the instance of E21 Person that died.
An instance of E69 Death may involve multiple people, for example in the case of a battle or disaster.
This is not intended for use with general natural history material, only people.
Examples of the inverse property:
- Mozart’s death (E69) was death of Mozart (E21). (Sitwell, 2017)
In First Order Logic of the inverse property:
- P100(x,y) ⇒ E69(x)
- P100(x,y) ⇒ E21(y)
- P100(x,y) ⇒ P93(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E21_Person | :P100i_died_in | :E69_Death |
@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#> .
:P100i_died_in a rdf:Property ;
rdfs:label "starb in"@de,
"πέθανε σε"@el,
"died in"@en,
"est mort par"@fr,
"morreu em"@pt,
"умeр"@ru,
"死于"@zh ;
rdfs:comment """Quantification of the inverse property: one to many, necessary (1,n:0,1)
Scope note of the inverse property:
This property links an instance of E69 Death to the instance of E21 Person that died.
An instance of E69 Death may involve multiple people, for example in the case of a battle or disaster.
This is not intended for use with general natural history material, only people.
Examples of the inverse property:
- Mozart’s death (E69) was death of Mozart (E21). (Sitwell, 2017)
In First Order Logic of the inverse property:
- P100(x,y) ⇒ E69(x)
- P100(x,y) ⇒ E21(y)
- P100(x,y) ⇒ P93(x,y)
"""@en ;
rdfs:domain :E21_Person ;
rdfs:range :E69_Death ;
rdfs:subPropertyOf :P93i_was_taken_out_of_existence_by ;
owl:inverseOf :P100_was_death_of .