Deductions
- data model element has quality class ⇐ (existence is a class), (data model element has quality existence)
- data model element has quality existence ⇐ (data model element has quality entity), (entity has quality existence), (has quality is a transitive relation)
- data model element has quality entity ⇐ (taxonomic rank is a entity), (data model element has quality taxonomic rank)
- Wikibase builtin datatype is subclass of data model element ⇐ (Wikibase builtin datatype is subclass of Wikibase datatype), (Wikibase datatype is subclass of data model element), (is subclass of is a transitive relation)
- Wikibase datatype is subclass of data model element ⇐ (Wikibase datatype is subclass of Wikibase data model element), (Wikibase data model element is subclass of data model element), (is subclass of is a transitive relation)
- data model element is subclass of entity ⇐ (data model element is subclass of abstract entity), (abstract entity is subclass of entity), (is subclass of is a transitive relation)
- data model element has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (data model element has quality superclass)
- data model element has quality superclass ⇐ (data model element is subclass of abstract entity), (abstract entity has quality superclass)