http://www.cidoc-crm.org/cidoc-crm/P19_was_intended_use_of
rdf:Property
Quantification: many to many (0,n:0,n)
Scope note:
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:
- 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)
Properties:
- P19.1 mode of use: E55 Type
In First Order Logic:
- P19(x,y) ⇒ E7(x)
- P19(x,y) ⇒ E71(y)
- P19(x,y,z) ⇒ [P19(x,y) ∧ E55(z)]
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E7_Activity | :P19_was_intended_use_of | :E71_Human-Made_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#> .
:P19_was_intended_use_of a rdf:Property ;
rdfs:label "war beabsichtigteter Gebrauch von"@de,
"ήταν προορισμένη χρήση του"@el,
"was intended use of"@en,
"a été l’usage prévu de"@fr,
"era prevista a utilização de"@pt,
"прeдполагал использованиe"@ru,
"特定用途是"@zh ;
rdfs:comment """Quantification: many to many (0,n:0,n)
Scope note:
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:
- 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)
Properties:
- P19.1 mode of use: E55 Type
In First Order Logic:
- P19(x,y) ⇒ E7(x)
- P19(x,y) ⇒ E71(y)
- P19(x,y,z) ⇒ [P19(x,y) ∧ E55(z)]
"""@en ;
rdfs:domain :E7_Activity ;
rdfs:range :E71_Human-Made_Thing ;
owl:inverseOf :P19i_was_made_for .