Deductions
- discography has quality set ⇐ (discography has quality arity), (arity has quality set), (has quality is a transitive relation)
- discography has quality mathematical property ⇐ (discography has quality arity), (arity has quality mathematical property), (has quality is a transitive relation)
- discography has quality relation ⇐ (discography has quality arity), (arity has quality relation), (has quality is a transitive relation)
- discography has part type ⇐ (music video is a type), (discography has part music video)
- discography has quality class ⇐ (subset is subclass of class), (discography has quality subset)
- discography has quality binary relation ⇐ (subclass is a binary relation), (discography has quality subclass)
- discography has quality arity ⇐ (discography has quality commonality), (commonality has quality arity), (has quality is a transitive relation)
- discography has quality mathematical object ⇐ (discography has quality commonality), (commonality has quality mathematical object), (has quality is a transitive relation)
- discography has quality number of entities ⇐ (discography has quality commonality), (commonality has quality number of entities), (has quality is a transitive relation)
- discography has part citation ⇐ (discography is subclass of bibliography), (bibliography has part citation)
- discography has part type of cinematic work ⇐ (music video is a type of cinematic work), (discography has part music video)
- discography has quality subclass ⇐ (subset is subclass of subclass), (discography has quality subset)
- discography has quality subset ⇐ (commonality is subclass of subset), (discography has quality commonality)
- discography has quality equality ⇐ (commonality is subclass of equality), (discography has quality commonality)
- discography has quality property ⇐ (discography has quality commonality), (commonality has quality property), (has quality is a transitive relation)
- discography has quality type ⇐ (discography has quality commonality), (commonality has quality type), (has quality is a transitive relation)
- discography has quality superclass ⇐ (discography has quality commonality), (commonality has quality superclass), (has quality is a transitive relation)
- discography has quality taxonomic rank ⇐ (discography has quality commonality), (commonality has quality taxonomic rank), (has quality is a transitive relation)
- discography has quality abstract entity ⇐ (discography has quality commonality), (commonality has quality abstract entity), (has quality is a transitive relation)
- discography has quality type of property ⇐ (discography has quality commonality), (commonality has quality type of property), (has quality is a transitive relation)
- discography has quality entity ⇐ (discography has quality commonality), (commonality has quality entity), (has quality is a transitive relation)
- discography has quality quality ⇐ (discography has quality commonality), (commonality has quality quality), (has quality is a transitive relation)
- discography has quality criterion ⇐ (discography has quality commonality), (commonality has quality criterion), (has quality is a transitive relation)
- discography has quality class ⇐ (discography has quality commonality), (commonality has quality class), (has quality is a transitive relation)
- discography has quality existence ⇐ (discography has quality commonality), (commonality has quality existence), (has quality is a transitive relation)
- discography is for example Peter Gabriel's albums in chronological order ⇐ (Peter Gabriel's albums in chronological order is a discography), (is a is inverse of is for example)
- Peter Gabriel's albums in chronological order is a discography ⇐ (Wikimedia albums discography is subclass of discography), (Peter Gabriel's albums in chronological order is a Wikimedia albums discography)