Deductions
- public good has quality class ⇐ (quality is a class), (public good has quality quality)
- public good has quality existence ⇐ (public good has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- public good has quality abstract entity ⇐ (type is a abstract entity), (public good has quality type)
- copyrighted is subclass of public good ⇐ (public domain is subclass of public good), (public domain is opposite of copyrighted)
- public good has quality type of object ⇐ (class is a type of object), (public good has quality class)
- public good has quality entity ⇐ (taxonomic rank is a entity), (public good has quality taxonomic rank)
- public good has quality class ⇐ (type of property is a class), (public good has quality type of property)
- public good has quality type ⇐ (public good has quality quality), (quality has quality type), (has quality is a transitive relation)
- public good has quality type of property ⇐ (public good has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- public good has quality superclass ⇐ (public good has quality quality), (quality has quality superclass), (has quality is a transitive relation)
- public good has quality taxonomic rank ⇐ (public good has quality quality), (quality has quality taxonomic rank), (has quality 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)
- work of author in whom no copyright is vested is subclass of public good ⇐ (work of author in whom no copyright is vested is subclass of public domain), (public domain is subclass of public good), (is subclass of is a transitive relation)
- ineligible for copyright protection is subclass of public good ⇐ (ineligible for copyright protection is subclass of public domain), (public domain is subclass of public good), (is subclass of is a transitive relation)
- copyrighted, dedicated to the public domain by copyright holder is subclass of public good ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public domain), (public domain is subclass of public good), (is subclass of is a transitive relation)
- public good has quality quality ⇐ (public is a quality), (public good has quality public)