. . "Scope note:\nThis property defines the kind of objects used in an E7 Activity, when the specific instance is either unknown or not of interest, such as use of \"a hammer\".\n\nExamples:\n- at the Battle of Agincourt (E7), the English archers used object of type long bow (E55)\n\nIn First Order Logic:\nP125(x,y) \u2283 E7(x)\nP125(x,y) \u2283 E55(y)"@en . "P125"^^ . "P125 used object of type"@en . . .