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