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