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