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