lutes

Deductions

• lutes has quality class ⇐ (quality is a class), (lutes has quality quality)
• lutes has quality abstract entity ⇐ (property is a abstract entity), (lutes has quality property)
• lutes has quality entity ⇐ (property is a entity), (lutes has quality property)
• family of musical instruments is for example lutes ⇐ (lutes is a family of musical instruments), (is a is inverse of is for example)
• lutes has quality property ⇐ (lutes is a family of musical instruments), (family of musical instruments has quality property)
• lutes has quality quality ⇐ (lutes is a family of musical instruments), (family of musical instruments has quality quality)
• lutes has quality criterion ⇐ (lutes is a family of musical instruments), (family of musical instruments has quality criterion)
• necked lute is subclass of lutes ⇐ (necked lute is subclass of handle lute), (handle lute is subclass of lutes), (is subclass of is a transitive relation)