Deductions
- Wikibase datatype has quality class ⇐ (existence is a class), (Wikibase datatype has quality existence)
- Wikibase datatype has quality existence ⇐ (Wikibase datatype is subclass of entity), (entity has quality existence)
- Wikibase datatype is for example Wikibase item datatype ⇐ (Wikibase item datatype is a Wikibase datatype), (is a is inverse of is for example)
- Wikibase datatype is for example CommonsMedia ⇐ (CommonsMedia is a Wikibase datatype), (is a is inverse of is for example)
- Wikibase datatype is subclass of entity ⇐ (Wikibase datatype is subclass of abstract entity), (abstract entity is subclass of entity), (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)
- Wikibase datatype is subclass of abstract entity ⇐ (Wikibase datatype is subclass of Wikibase data model element), (Wikibase data model element is subclass of abstract entity), (is subclass of is a transitive relation)
- CommonsMedia is a Wikibase datatype ⇐ (Wikibase builtin datatype is subclass of Wikibase datatype), (CommonsMedia is a Wikibase builtin datatype)
- Wikibase item datatype is a Wikibase datatype ⇐ (Wikibase builtin datatype is subclass of Wikibase datatype), (Wikibase item datatype is a Wikibase builtin datatype)