Deductions
- required qualifier constraint has quality class ⇐ (abstract entity is a class), (required qualifier constraint has quality abstract entity)
- required qualifier constraint has quality entity ⇐ (taxonomic rank is a entity), (required qualifier constraint has quality taxonomic rank)
- required qualifier constraint has quality abstract entity ⇐ (metaclass is subclass of abstract entity), (required qualifier constraint has quality metaclass)
- required qualifier constraint has quality metaclass ⇐ (required qualifier constraint is subclass of definition), (definition has quality metaclass)
- required qualifier constraint has quality type of definition ⇐ (required qualifier constraint is subclass of definition), (definition has quality type of definition)
- required qualifier constraint has quality existence ⇐ (required qualifier constraint is subclass of abstract entity), (abstract entity has quality existence)
- required qualifier constraint has quality superclass ⇐ (required qualifier constraint is subclass of abstract entity), (abstract entity has quality superclass)
- required qualifier constraint has quality taxonomic rank ⇐ (required qualifier constraint is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- required qualifier constraint is subclass of proposition ⇐ (required qualifier constraint is subclass of definition), (definition is subclass of proposition), (is subclass of is a transitive relation)
- required qualifier constraint is subclass of mathematical object ⇐ (required qualifier constraint is subclass of definition), (definition is subclass of mathematical object), (is subclass of is a transitive relation)
- required qualifier constraint is subclass of abstract entity ⇐ (required qualifier constraint is subclass of definition), (definition is subclass of abstract entity), (is subclass of is a transitive relation)
- required qualifier constraint is subclass of entity ⇐ (required qualifier constraint is subclass of definition), (definition is subclass of entity), (is subclass of is a transitive relation)
- required qualifier constraint is subclass of Wikidata property definition ⇐ (required qualifier constraint is subclass of property constraint), (property constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- required qualifier constraint is subclass of definition ⇐ (required qualifier constraint is subclass of property constraint), (property constraint is subclass of definition), (is subclass of is a transitive relation)