Deductions
- work of author in whom no copyright is vested has quality class ⇐ (quality is a class), (work of author in whom no copyright is vested has quality quality)
- work of author in whom no copyright is vested has quality existence ⇐ (work of author in whom no copyright is vested has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- work of author in whom no copyright is vested has quality abstract entity ⇐ (type is a abstract entity), (work of author in whom no copyright is vested has quality type)
- work of author in whom no copyright is vested has quality entity ⇐ (taxonomic rank is a entity), (work of author in whom no copyright is vested has quality taxonomic rank)
- work of author in whom no copyright is vested has quality class ⇐ (type of property is a class), (work of author in whom no copyright is vested has quality type of property)
- copyright status of set is for example work of author in whom no copyright is vested ⇐ (work of author in whom no copyright is vested is a copyright status of set), (is a is inverse of is for example)
- copyright status is for example work of author in whom no copyright is vested ⇐ (work of author in whom no copyright is vested is a copyright status), (is a is inverse of is for example)
- work of author in whom no copyright is vested has quality property ⇐ (work of author in whom no copyright is vested has quality type of property), (type of property has quality property), (has quality is a transitive relation)
- work of author in whom no copyright is vested has quality criterion ⇐ (work of author in whom no copyright is vested has quality type of property), (type of property has quality criterion), (has quality is a transitive relation)
- work of author in whom no copyright is vested has quality type ⇐ (work of author in whom no copyright is vested has quality quality), (quality has quality type), (has quality is a transitive relation)
- work of author in whom no copyright is vested has quality type of property ⇐ (work of author in whom no copyright is vested has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- work of author in whom no copyright is vested has quality superclass ⇐ (work of author in whom no copyright is vested has quality quality), (quality has quality superclass), (has quality is a transitive relation)
- work of author in whom no copyright is vested has quality taxonomic rank ⇐ (work of author in whom no copyright is vested has quality quality), (quality has quality taxonomic rank), (has quality is a transitive relation)
- work of author in whom no copyright is vested is subclass of goods and services ⇐ (work of author in whom no copyright is vested is subclass of goods), (goods is subclass of goods and services), (is subclass of is a transitive relation)
- work of author in whom no copyright is vested is subclass of goods ⇐ (work of author in whom no copyright is vested is subclass of public domain), (public domain is subclass of goods), (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)
- work of author in whom no copyright is vested is a copyright status ⇐ (copyright status of set is subclass of copyright status), (work of author in whom no copyright is vested is a copyright status of set)
- work of author in whom no copyright is vested has quality quality ⇐ (public is a quality), (work of author in whom no copyright is vested has quality public)
- work of author in whom no copyright is vested has quality public ⇐ (work of author in whom no copyright is vested is subclass of public domain), (public domain has quality public)