P125 used object of type (was type of object used in) in version 7.1

Domain:
E7 Activity
Range:
E55 Type
Subproperty of:
E7 Activity. P32 used general technique (was technique of): E55 Type
Superproperty of:
E7 Activity. P32 used general technique (was technique of): E55 Type
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 defines used in an instance of E7 Activity, when the specific instance is either unknown or not of interest, such as use of "a hammer"

Examples:
  • at the Battle of Agincourt (E7), the English archers 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)]