Deductions
- is a list of has quality class ⇐ (existence is a class), (is a list of has quality existence)
- is a list of has quality existence ⇐ (is a list of is a entity), (entity has quality existence)
- entity is for example is a list of ⇐ (is a list of is a entity), (is a is inverse of is for example)
- Wikibase entity is for example is a list of ⇐ (is a list of is a Wikibase entity), (is a is inverse of is for example)
- is a list of is a entity ⇐ (Wikibase entity is subclass of entity), (is a list of is a Wikibase entity)
- is a list of is a Wikibase entity ⇐ (Wikidata property giving Wikimedia list is subclass of Wikibase entity), (is a list of is a Wikidata property giving Wikimedia list)
- Wikibase property is for example is a list of ⇐ (is a list of is a Wikibase property), (is a is inverse of is for example)
- -> is for example is a list of ⇐ (is a list of is a ->), (is a is inverse of is for example)
- Wikidata property giving Wikimedia list is for example is a list of ⇐ (is a list of is a Wikidata property giving Wikimedia list), (is a is inverse of is for example)
- inverse property label item is for example is a list of ⇐ (is a list of is a inverse property label item), (is a is inverse of is for example)
- Wikidata property about Wikimedia entities is for example is a list of ⇐ (is a list of is a Wikidata property about Wikimedia entities), (is a is inverse of is for example)
- is a list of is a Wikidata property about Wikimedia entities ⇐ (Wikidata property giving Wikimedia list is subclass of Wikidata property about Wikimedia entities), (is a list of is a Wikidata property giving Wikimedia list)
- is a list of is a Wikibase property ⇐ (-> is subclass of Wikibase property), (is a list of is a ->)