Deductions
- works protected by copyrights has part class ⇐ (entity is a class), (works protected by copyrights has part entity)
- works protected by copyrights has part concept ⇐ (class is a concept), (works protected by copyrights has part class)
- works protected by copyrights has part class ⇐ (state is a class), (works protected by copyrights has part state)
- works protected by copyrights has part occurrent ⇐ (collection of the author's works available under the Creative Commons Attribution license is a occurrent), (works protected by copyrights has part collection of the author's works available under the Creative Commons Attribution license)
- works protected by copyrights has part variable-order class ⇐ (entity is a variable-order class), (works protected by copyrights has part entity)
- works protected by copyrights has part entity ⇐ (state is a entity), (works protected by copyrights has part state)
- works protected by copyrights has part state ⇐ (collection of the author's works available under the Creative Commons Attribution license is a state), (works protected by copyrights has part collection of the author's works available under the Creative Commons Attribution license)
- copyright status of set is for example works protected by copyrights ⇐ (works protected by copyrights is a copyright status of set), (is a is inverse of is for example)
- copyright status is for example works protected by copyrights ⇐ (works protected by copyrights is a copyright status), (is a is inverse of is for example)
- works protected by copyrights is a copyright status ⇐ (copyright status of set is subclass of copyright status), (works protected by copyrights is a copyright status of set)