Deductions
- after a work by has quality type of property ⇐ (after a work by has quality class), (class has quality type of property), (has quality is a transitive relation)
- after a work by has quality superclass ⇐ (after a work by has quality type of Wikidata property), (type of Wikidata property has quality superclass), (has quality is a transitive relation)
- after a work by has quality criterion ⇐ (after a work by has quality type of Wikidata property), (type of Wikidata property has quality criterion), (has quality is a transitive relation)
- after a work by has quality quality ⇐ (after a work by has quality type of Wikidata property), (type of Wikidata property has quality quality), (has quality is a transitive relation)
- after a work by has quality property ⇐ (after a work by has quality type of Wikidata property), (type of Wikidata property has quality property), (has quality is a transitive relation)
- after a work by has quality taxonomic rank ⇐ (after a work by has quality type of Wikidata property), (type of Wikidata property has quality taxonomic rank), (has quality is a transitive relation)
- after a work by has quality class ⇐ (quality is a class), (after a work by has quality quality)
- after a work by has quality superclass ⇐ (after a work by has quality class), (class has quality superclass), (has quality is a transitive relation)
- after a work by has quality type of property ⇐ (after a work by has quality class), (class has quality type of property), (has quality is a transitive relation)
- after a work by has quality criterion ⇐ (after a work by has quality class), (class has quality criterion), (has quality is a transitive relation)
- after a work by has quality quality ⇐ (after a work by has quality class), (class has quality quality), (has quality is a transitive relation)
- after a work by has quality property ⇐ (after a work by has quality class), (class has quality property), (has quality is a transitive relation)
- after a work by has quality taxonomic rank ⇐ (after a work by has quality class), (class has quality taxonomic rank), (has quality is a transitive relation)
- after a work by has quality abstract entity ⇐ (type is a abstract entity), (after a work by has quality type)
- after a work by has quality class ⇐ (after a work by is a Wikidata property related to creative works), (Wikidata property related to creative works has quality class)
- after a work by has quality entity ⇐ (after a work by is a Wikidata property related to creative works), (Wikidata property related to creative works has quality entity)
- after a work by has quality type ⇐ (after a work by is a Wikidata property related to creative works), (Wikidata property related to creative works has quality type)
- after a work by has quality type of object ⇐ (after a work by is a Wikidata property related to creative works), (Wikidata property related to creative works has quality type of object)
- after a work by has quality type of Wikidata property ⇐ (after a work by is a Wikidata property related to creative works), (Wikidata property related to creative works has quality type of Wikidata property)
- after a work by has quality existence ⇐ (after a work by is a Wikidata property related to creative works), (Wikidata property related to creative works has quality existence)
- Wikidata property related to creative works is for example after a work by ⇐ (after a work by is a Wikidata property related to creative works), (is a is inverse of is for example)
- -> is for example after a work by ⇐ (after a work by is a ->), (is a is inverse of is for example)