Deductions
- necked lute has quality superclass ⇐ (necked lute has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- necked lute has quality type of property ⇐ (necked lute has quality type), (type has quality type of property), (has quality is a transitive relation)
- necked lute has quality class ⇐ (necked lute has quality type), (type has quality class), (has quality is a transitive relation)
- necked lute has quality class ⇐ (quality is a class), (necked lute has quality quality)
- necked lute has quality superclass ⇐ (necked lute has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- necked lute has quality taxonomic rank ⇐ (necked lute has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- necked lute has quality abstract entity ⇐ (type is a abstract entity), (necked lute has quality type)
- necked lute has quality existence ⇐ (necked lute has quality entity), (entity has quality existence), (has quality is a transitive relation)
- necked lute has quality entity ⇐ (type is a entity), (necked lute has quality type)
- necked lute has quality type ⇐ (criterion is a type), (necked lute has quality criterion)
- necked lute has quality criterion ⇐ (necked lute is subclass of lutes), (lutes has quality criterion)
- necked lute has quality quality ⇐ (necked lute is subclass of lutes), (lutes has quality quality)
- necked lute has quality property ⇐ (necked lute is subclass of lutes), (lutes has quality property)
- family of musical instruments is for example necked lute ⇐ (necked lute is a family of musical instruments), (is a is inverse of is for example)
- guitar accessories is subclass of necked lute ⇐ (guitar accessories is subclass of Q57306162), (Q57306162 is subclass of necked lute), (is subclass of is a transitive relation)
- 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)
- Q57306162 is subclass of necked lute ⇐ (Q57306162 is subclass of necked box lute), (necked box lute is subclass of necked lute), (is subclass of is a transitive relation)