crm:P16_used_specific_object

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P16_used_specific_object a owl:ObjectProperty ;
    rdfs:label "P16 used specific object"@en ;
    rdfs:comment """Scope note:
This property describes the use of material or immaterial things in a way essential to the performance or the outcome of an E7 Activity.

This property typically applies to tools, instruments, moulds, raw materials and items embedded in a product. It implies that the presence of the object in question was a necessary condition for the action. For example, the activity of writing this text required the use of a computer. An immaterial thing can be used if at least one of its carriers is present. For example, the software tools on a computer.

Another example is the use of a particular name by a particular group of people over some span to identify a thing, such as a settlement. In this case, the physical carriers of this name are at least the people understanding its use.

Examples:
- the writing of this scope note (E7) used specific object Nicholas Crofts' computer (E22)
mode of use Typing Tool; Storage Medium (E55)
- the people of Iraq calling the place identified by TGN '7017998' (E7) used specific object
"Quyunjig" (E44) mode of use Current; Vernacular (E55)

FOL: 
P16 (x,y) ⊃ E7(x)
P16 (x,y) ⊃ E70(y)
P16 (x,y) ⊃ P12(x,y)
P16 (x,y) ⊃ P15(x,y)
P16(x,y,z) ⊃ [P16(x,y) ∧ E55(z)]"""@en ;
    rdfs:domain crm:E7_Activity ;
    rdfs:range crm:E70_Thing ;
    rdfs:subPropertyOf crm:P12_occurred_in_the_presence_of,
        crm:P15_was_influenced_by ;
    owl:equivalentProperty ecrm:P16_used_specific_object ;
    owl:inverseOf crm:P16i_was_used_for ;
    skos:notation "P16"^^xsd:string .