Deductions
- public domain music has quality class ⇐ (quality is a class), (public domain music has quality quality)
- public domain music has quality existence ⇐ (public domain music has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- public domain music has quality abstract entity ⇐ (type is a abstract entity), (public domain music has quality type)
- public domain music has quality entity ⇐ (taxonomic rank is a entity), (public domain music has quality taxonomic rank)
- public domain music has quality class ⇐ (type of property is a class), (public domain music has quality type of property)
- public domain music has quality type ⇐ (public domain music has quality quality), (quality has quality type), (has quality is a transitive relation)
- public domain music has quality type of property ⇐ (public domain music has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- public domain music has quality superclass ⇐ (public domain music has quality quality), (quality has quality superclass), (has quality is a transitive relation)
- public domain music has quality taxonomic rank ⇐ (public domain music has quality quality), (quality has quality taxonomic rank), (has quality is a transitive relation)
- public domain music is subclass of goods and services ⇐ (public domain music is subclass of goods), (goods is subclass of goods and services), (is subclass of is a transitive relation)
- public domain music is subclass of goods ⇐ (public domain music is subclass of public domain), (public domain is subclass of goods), (is subclass of is a transitive relation)
- public domain music is subclass of public good ⇐ (public domain music is subclass of public domain), (public domain is subclass of public good), (is subclass of is a transitive relation)
- public domain music has quality quality ⇐ (public is a quality), (public domain music has quality public)
- public domain music has quality public ⇐ (public domain music is subclass of public domain), (public domain has quality public)