:P125_used_object_of_type

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

:P125_used_object_of_type a rdf:Property ;
    rdfs:label "benutzte Objekt des Typus"@de,
        "χρησιμοποίησε αντικείμενο τύπου"@el,
        "used object of type"@en,
        "a mobilisé l’objet du type"@fr,
        "usou objeto do tipo"@pt,
        "используeт объeкт типа"@ru,
        "使用对象类型"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E7 Activity to an instance of E55 Type, which classifies an instance of E70 Thing used in an instance of E7 Activity, when the specific instance is either unknown or not of interest, such as use of “a hammer”.
This property is a shortcut of the more fully developed path from E7 Activity through P16 used specific object, E70 Thing, P2 has type, to E55 Type.

Examples:
- The English archers’ activity in the Battle of Agincourt (E7) used object of type long bow (E55). (Curry, 2015)

In First Order Logic:
- P125(x,y) ⇒ E7(x)
- P125(x,y) ⇒ E55(y)
- P125(x,y) ⇔ (∃z) [E70(z) ∧ P16(x,z) ∧ P2(z,y)]
"""@en ;
    rdfs:domain :E7_Activity ;
    rdfs:range :E55_Type ;
    owl:inverseOf :P125i_was_type_of_object_used_in .