Deductions
- public domain has quality class ⇐ (quality is a class), (public domain has quality quality)
- public domain has quality abstract entity ⇐ (type is a abstract entity), (public domain has quality type)
- public domain has quality existence ⇐ (public domain has quality entity), (entity has quality existence), (has quality is a transitive relation)
- public domain has quality entity ⇐ (taxonomic rank is a entity), (public domain has quality taxonomic rank)
- public domain is subclass of intellectual property ⇐ (copyrighted is subclass of intellectual property), (copyrighted is opposite of public domain)
- public domain has quality class ⇐ (type of property is a class), (public domain has quality type of property)
- copyright status of set is for example public domain ⇐ (public domain is a copyright status of set), (is a is inverse of is for example)
- copyright status is for example public domain ⇐ (public domain is a copyright status), (is a is inverse of is for example)
- public domain has quality type ⇐ (public domain has quality quality), (quality has quality type), (has quality is a transitive relation)
- public domain has quality type of property ⇐ (public domain has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- public domain has quality superclass ⇐ (public domain has quality quality), (quality has quality superclass), (has quality is a transitive relation)
- public domain has quality taxonomic rank ⇐ (public domain has quality quality), (quality has quality taxonomic rank), (has quality is a transitive relation)
- public domain is subclass of goods ⇐ (public domain is subclass of public good), (public good is subclass of goods), (is subclass of is a transitive relation)
- public domain has quality quality ⇐ (public is a quality), (public domain has quality public)
- public domain has quality public ⇐ (public domain is subclass of public good), (public good has quality public)
- public domain is a copyright status of set ⇐ (copyrighted is a copyright status of set), (copyrighted is opposite of public domain)