Deductions
- != has quality superclass ⇐ (!= has quality class), (class has quality superclass), (has quality is a transitive relation)
- != has quality type of property ⇐ (!= has quality class), (class has quality type of property), (has quality is a transitive relation)
- != has quality criterion ⇐ (!= has quality class), (class has quality criterion), (has quality is a transitive relation)
- != has quality quality ⇐ (!= has quality class), (class has quality quality), (has quality is a transitive relation)
- != has quality property ⇐ (!= has quality class), (class has quality property), (has quality is a transitive relation)
- != has quality taxonomic rank ⇐ (!= has quality class), (class has quality taxonomic rank), (has quality is a transitive relation)
- != has quality class ⇐ (quality is a class), (!= has quality quality)
- != has quality superclass ⇐ (!= has quality class), (class has quality superclass), (has quality is a transitive relation)
- != has quality type of property ⇐ (!= has quality class), (class has quality type of property), (has quality is a transitive relation)
- != has quality criterion ⇐ (!= has quality class), (class has quality criterion), (has quality is a transitive relation)
- != has quality quality ⇐ (!= has quality class), (class has quality quality), (has quality is a transitive relation)
- != has quality property ⇐ (!= has quality class), (class has quality property), (has quality is a transitive relation)
- != has quality taxonomic rank ⇐ (!= has quality class), (class has quality taxonomic rank), (has quality is a transitive relation)
- != has quality abstract entity ⇐ (type is a abstract entity), (!= has quality type)
- != has quality class ⇐ (!= is a ->), (-> has quality class)
- != has quality type of Wikidata property ⇐ (!= is a ->), (-> has quality type of Wikidata property)
- != has quality property constraint ⇐ (!= is a ->), (-> has quality property constraint)
- != has quality type of object ⇐ (!= is a ->), (-> has quality type of object)
- != has quality value-requires-statement constraint ⇐ (!= is a ->), (-> has quality value-requires-statement constraint)
- != has quality type ⇐ (!= is a ->), (-> has quality type)
- != has quality entity ⇐ (!= is a ->), (-> has quality entity)
- != has quality existence ⇐ (!= is a ->), (-> has quality existence)
- Wikibase property is for example != ⇐ (!= is a Wikibase property), (is a is inverse of is for example)
- != is a Wikibase property ⇐ (-> is subclass of Wikibase property), (!= is a ->)