Deductions
- consensus has quality subset ⇐ (commonality is subclass of subset), (consensus has quality commonality)
- Wikimedia albums discography has quality subset ⇐ (commonality is subclass of subset), (Wikimedia albums discography has quality commonality)
- discography has quality subset ⇐ (commonality is subclass of subset), (discography has quality commonality)
- commonality is subclass of subset ⇐ (difference is subclass of subset), (difference is opposite of commonality)
- asymmetry property has quality subset ⇐ (difference is subclass of subset), (asymmetry property has quality difference)
- software resource has quality subset ⇐ (difference is subclass of subset), (software resource has quality difference)
- religiosity has quality subset ⇐ (difference is subclass of subset), (religiosity has quality difference)
- Köppen climate classification has quality subset ⇐ (difference is subclass of subset), (Köppen climate classification has quality difference)
- mascot has quality subset ⇐ (difference is subclass of subset), (mascot has quality difference)
- cause of death has quality subset ⇐ (difference is subclass of subset), (cause of death has quality difference)
- business model has quality subset ⇐ (difference is subclass of subset), (business model has quality difference)
- geography of topic has quality subset ⇐ (difference is subclass of subset), (geography of topic has quality difference)
- property constraint has quality subset ⇐ (difference is subclass of subset), (property constraint has quality difference)
- flaw has quality subset ⇐ (difference is subclass of subset), (flaw has quality difference)
- change has quality subset ⇐ (difference is subclass of subset), (change has quality difference)
- armament has quality subset ⇐ (difference is subclass of subset), (armament has quality difference)
- category for value not in Wikidata has quality subset ⇐ (difference is subclass of subset), (category for value not in Wikidata has quality difference)
- sexual orientation has quality subset ⇐ (difference is subclass of subset), (sexual orientation has quality difference)
- commanded by has quality subset ⇐ (difference is subclass of subset), (commanded by has quality difference)
- irreligion has quality subset ⇐ (difference is subclass of subset), (irreligion has quality difference)
- flag has quality subset ⇐ (difference is subclass of subset), (flag has quality difference)
- sex or gender has quality subset ⇐ (difference is subclass of subset), (sex or gender has quality difference)
- counter-revolution has quality subset ⇐ (difference is subclass of subset), (counter-revolution has quality difference)
- Wikidata property related to fashion has quality subset ⇐ (difference is subclass of subset), (Wikidata property related to fashion has quality difference)
- wears has quality subset ⇐ (difference is subclass of subset), (wears has quality difference)
- subset is subclass of class ⇐ (superset is subclass of class), (superset is opposite of subset)
- subset is subclass of abstract entity ⇐ (superset is subclass of abstract entity), (superset is opposite of subset)
- other is subclass of subset ⇐ (identity is subclass of subset), (identity is opposite of other)
- difference is subclass of subset ⇐ (identity is subclass of subset), (identity is opposite of difference)
- subset has quality entity ⇐ (subset is subclass of subclass), (subclass has quality entity)
- subset has quality existence ⇐ (subset is subclass of subclass), (subclass has quality existence)
- subset has quality superclass ⇐ (subset is subclass of subclass), (subclass has quality superclass)
- subset has quality arity ⇐ (subset is subclass of subclass), (subclass has quality arity)
- subset has quality number of entities ⇐ (subset is subclass of subclass), (subclass has quality number of entities)
- subset has quality taxonomic rank ⇐ (subset is subclass of subclass), (subclass has quality taxonomic rank)
- subset has quality mathematical object ⇐ (subset is subclass of subclass), (subclass has quality mathematical object)
- subset has quality abstract entity ⇐ (subset is subclass of subclass), (subclass has quality abstract entity)
- subset has quality class ⇐ (subset is subclass of subclass), (subclass has quality class)
- identity is subclass of subset ⇐ (identity is subclass of complement), (complement is subclass of subset), (is subclass of is a transitive relation)
- subset is subclass of set ⇐ (superset is subclass of set), (superset is opposite of subset)
- binary relation is for example subset ⇐ (subset is a binary relation), (is a is inverse of is for example)
- superset is opposite of subset ⇐ subset is opposite of superset
- union is subclass of subset ⇐ (intersection is subclass of subset), (intersection is opposite of union)