Deductions
- copyrighted, dedicated to the public domain by copyright holder has quality abstract entity ⇐ (type is a abstract entity), (copyrighted, dedicated to the public domain by copyright holder has quality type)
- copyrighted, dedicated to the public domain by copyright holder has quality entity ⇐ (taxonomic rank is a entity), (copyrighted, dedicated to the public domain by copyright holder has quality taxonomic rank)
- copyrighted, dedicated to the public domain by copyright holder has quality class ⇐ (type of property is subclass of class), (copyrighted, dedicated to the public domain by copyright holder has quality type of property)
- copyrighted, dedicated to the public domain by copyright holder has quality class ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public good), (public good has quality class)
- copyrighted, dedicated to the public domain by copyright holder has quality type ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public good), (public good has quality type)
- copyrighted, dedicated to the public domain by copyright holder has quality public ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public good), (public good has quality public)
- copyrighted, dedicated to the public domain by copyright holder has quality taxonomic rank ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public good), (public good has quality taxonomic rank)
- copyrighted, dedicated to the public domain by copyright holder has quality superclass ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public good), (public good has quality superclass)
- copyrighted, dedicated to the public domain by copyright holder has quality quality ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public good), (public good has quality quality)
- copyrighted, dedicated to the public domain by copyright holder has quality type of property ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public good), (public good has quality type of property)
- copyright status of set is for example copyrighted, dedicated to the public domain by copyright holder ⇐ (copyrighted, dedicated to the public domain by copyright holder is a copyright status of set), (is a is inverse of is for example)
- copyright status is for example copyrighted, dedicated to the public domain by copyright holder ⇐ (copyrighted, dedicated to the public domain by copyright holder is a copyright status), (is a is inverse of is for example)
- copyrighted, dedicated to the public domain by copyright holder is subclass of goods ⇐ (copyrighted, dedicated to the public domain by copyright holder is subclass of public domain), (public domain is subclass of goods), (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)
- copyrighted, dedicated to the public domain by copyright holder is a copyright status ⇐ (copyright status of set is subclass of copyright status), (copyrighted, dedicated to the public domain by copyright holder is a copyright status of set)