Deductions
- topic's main thesaurus has quality cardinality ⇐ (topic's main thesaurus has quality truth value), (truth value has quality cardinality), (has quality is a transitive relation)
- topic's main thesaurus has quality superclass ⇐ (topic's main thesaurus has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- topic's main thesaurus has quality class ⇐ (quality is a class), (topic's main thesaurus has quality quality)
- topic's main thesaurus has quality expression ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality expression), (has quality is a transitive relation)
- topic's main thesaurus has quality number of entities ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality number of entities), (has quality is a transitive relation)
- topic's main thesaurus has quality set ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality set), (has quality is a transitive relation)
- topic's main thesaurus has quality arity ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality arity), (has quality is a transitive relation)
- topic's main thesaurus has quality truth value ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality truth value), (has quality is a transitive relation)
- topic's main thesaurus has quality computer science term ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality computer science term), (has quality is a transitive relation)
- topic's main thesaurus has quality value ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality value), (has quality is a transitive relation)
- topic's main thesaurus has quality relation ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality relation), (has quality is a transitive relation)
- topic's main thesaurus has quality mathematical property ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality mathematical property), (has quality is a transitive relation)
- topic's main thesaurus has quality mathematical object ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality mathematical object), (has quality is a transitive relation)
- topic's main thesaurus has quality type of property ⇐ (topic's main thesaurus has quality property constraint), (property constraint has quality type of property), (has quality is a transitive relation)
- topic's main thesaurus has quality superclass ⇐ (topic's main thesaurus has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- topic's main thesaurus has quality taxonomic rank ⇐ (topic's main thesaurus has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- topic's main thesaurus has quality abstract entity ⇐ (type is a abstract entity), (topic's main thesaurus has quality type)
- topic's main thesaurus has quality property constraint ⇐ (topic's main thesaurus is a ->), (-> has quality property constraint)
- topic's main thesaurus has quality value-requires-statement constraint ⇐ (topic's main thesaurus is a ->), (-> has quality value-requires-statement constraint)
- topic's main thesaurus has quality entity ⇐ (type is a entity), (topic's main thesaurus has quality type)
- Wikidata property for an identifier is for example topic's main thesaurus ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (is a is inverse of is for example)
- topic's main thesaurus has quality type of object ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (Wikidata property for an identifier has quality type of object)
- topic's main thesaurus has quality type ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (Wikidata property for an identifier has quality type)
- topic's main thesaurus has quality type of Wikidata property ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (Wikidata property for an identifier has quality type of Wikidata property)
- topic's main thesaurus has quality criterion ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (Wikidata property for an identifier has quality criterion)
- topic's main thesaurus has quality existence ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (Wikidata property for an identifier has quality existence)
- topic's main thesaurus has quality property ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (Wikidata property for an identifier has quality property)
- topic's main thesaurus has quality quality ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (Wikidata property for an identifier has quality quality)
- topic's main thesaurus has quality class ⇐ (topic's main thesaurus is a Wikidata property for an identifier), (Wikidata property for an identifier has quality class)
- topic's main thesaurus is a Wikidata property for an identifier ⇐ (Wikidata property related to a thesaurus is subclass of Wikidata property for an identifier), (topic's main thesaurus is a Wikidata property related to a thesaurus)
- -> is for example topic's main thesaurus ⇐ (topic's main thesaurus is a ->), (is a is inverse of is for example)
- Wikibase property is for example topic's main thesaurus ⇐ (topic's main thesaurus is a Wikibase property), (is a is inverse of is for example)
- Wikidata property related to a thesaurus is for example topic's main thesaurus ⇐ (topic's main thesaurus is a Wikidata property related to a thesaurus), (is a is inverse of is for example)
- topic's main thesaurus is a Wikibase property ⇐ (-> is subclass of Wikibase property), (topic's main thesaurus is a ->)