http://www.cidoc-crm.org/cidoc-crm/P19i_was_made_for
rdf:Property
Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property relates an instance of E7 Activity with instances of E71 Human-Made Thing, created specifically for use in the activity.
This is distinct from the intended use of an item in some general type of activity such as the book of common prayer which was intended for use in Church of England services (see P101 had as general use (was use of)).
Examples of the inverse property:
- Lady Diana Spencer’s wedding dress (E71) was made for Wedding of Prince Charles and Lady Diana Spencer (E7) mode of use To Be Worn (E55). (Daly, 1981)
In First Order Logic of the inverse property:
- P19(x,y) ⇒ E7(x)
- P19(x,y) ⇒ E71(y)
- P19(x,y,z) ⇒ [P19(x,y) ∧ E55(z)]
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E71_Human-Made_Thing | :P19i_was_made_for | :E7_Activity |
@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#> .
:P19i_was_made_for a rdf:Property ;
rdfs:label "wurde hergestellt für"@de,
"έγινε για"@el,
"was made for"@en,
"a été élaboré pour"@fr,
"foi feito para"@pt,
"был создан для"@ru,
"用于"@zh ;
rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property relates an instance of E7 Activity with instances of E71 Human-Made Thing, created specifically for use in the activity.
This is distinct from the intended use of an item in some general type of activity such as the book of common prayer which was intended for use in Church of England services (see P101 had as general use (was use of)).
Examples of the inverse property:
- Lady Diana Spencer’s wedding dress (E71) was made for Wedding of Prince Charles and Lady Diana Spencer (E7) mode of use To Be Worn (E55). (Daly, 1981)
In First Order Logic of the inverse property:
- P19(x,y) ⇒ E7(x)
- P19(x,y) ⇒ E71(y)
- P19(x,y,z) ⇒ [P19(x,y) ∧ E55(z)]
"""@en ;
rdfs:domain :E71_Human-Made_Thing ;
rdfs:range :E7_Activity ;
owl:inverseOf :P19_was_intended_use_of .