Deductions
- is inverse of has quality criterion ⇐ (is inverse of has quality property constraint), (property constraint has quality criterion), (has quality is a transitive relation)
- is inverse of has quality property ⇐ (is inverse of has quality property constraint), (property constraint has quality property), (has quality is a transitive relation)
- is inverse of has quality quality ⇐ (is inverse of has quality property constraint), (property constraint has quality quality), (has quality is a transitive relation)
- is inverse of has quality type of property ⇐ (is inverse of has quality property constraint), (property constraint has quality type of property), (has quality is a transitive relation)
- is inverse of has quality superclass ⇐ (is inverse of has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- is inverse of is a Wikidata property for properties ⇐ (Wikidata property for documentation of properties is subclass of Wikidata property for properties), (is inverse of is a Wikidata property for documentation of properties)
- is inverse of has quality class ⇐ (quality is a class), (is inverse of has quality quality)
- is inverse of has quality expression ⇐ (is inverse of has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- is inverse of has quality number of entities ⇐ (is inverse of has quality property constraint), (property constraint has quality number of entities), (has quality is a transitive relation)
- is inverse of has quality set ⇐ (is inverse of has quality property constraint), (property constraint has quality set), (has quality is a transitive relation)
- is inverse of has quality arity ⇐ (is inverse of has quality property constraint), (property constraint has quality arity), (has quality is a transitive relation)
- is inverse of has quality truth value ⇐ (is inverse of has quality property constraint), (property constraint has quality truth value), (has quality is a transitive relation)
- is inverse of has quality computer science term ⇐ (is inverse of has quality property constraint), (property constraint has quality computer science term), (has quality is a transitive relation)
- is inverse of has quality value ⇐ (is inverse of has quality property constraint), (property constraint has quality value), (has quality is a transitive relation)
- is inverse of has quality relation ⇐ (is inverse of has quality property constraint), (property constraint has quality relation), (has quality is a transitive relation)
- is inverse of has quality mathematical property ⇐ (is inverse of has quality property constraint), (property constraint has quality mathematical property), (has quality is a transitive relation)
- is inverse of has quality mathematical object ⇐ (is inverse of has quality property constraint), (property constraint has quality mathematical object), (has quality is a transitive relation)
- is inverse of has quality type of property ⇐ (is inverse of has quality class), (class has quality type of property), (has quality is a transitive relation)
- is inverse of has quality criterion ⇐ (is inverse of has quality class), (class has quality criterion), (has quality is a transitive relation)
- is inverse of has quality quality ⇐ (is inverse of has quality class), (class has quality quality), (has quality is a transitive relation)
- is inverse of has quality property ⇐ (is inverse of has quality class), (class has quality property), (has quality is a transitive relation)
- is inverse of has quality superclass ⇐ (is inverse of has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- is inverse of has quality taxonomic rank ⇐ (is inverse of has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- is inverse of has quality abstract entity ⇐ (type is a abstract entity), (is inverse of has quality type)
- is inverse of has quality class ⇐ (is inverse of is a ->), (-> has quality class)
- is inverse of has quality type of Wikidata property ⇐ (is inverse of is a ->), (-> has quality type of Wikidata property)
- is inverse of has quality property constraint ⇐ (is inverse of is a ->), (-> has quality property constraint)
- is inverse of has quality type of object ⇐ (is inverse of is a ->), (-> has quality type of object)
- is inverse of has quality value-requires-statement constraint ⇐ (is inverse of is a ->), (-> has quality value-requires-statement constraint)
- is inverse of has quality type ⇐ (is inverse of is a ->), (-> has quality type)
- is inverse of has quality entity ⇐ (is inverse of is a ->), (-> has quality entity)
- is inverse of has quality existence ⇐ (is inverse of is a ->), (-> has quality existence)
- Wikibase property is for example is inverse of ⇐ (is inverse of is a Wikibase property), (is a is inverse of is for example)
- Wikidata property for documentation of properties is for example is inverse of ⇐ (is inverse of is a Wikidata property for documentation of properties), (is a is inverse of is for example)
- is inverse of is a Wikibase property ⇐ (-> is subclass of Wikibase property), (is inverse of is a ->)