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