Deductions
- Wikimedia set index article has quality class ⇐ (existence is a class), (Wikimedia set index article has quality existence)
- Wikimedia set index article has quality entity ⇐ (taxonomic rank is a entity), (Wikimedia set index article has quality taxonomic rank)
- Wikimedia set index article has quality existence ⇐ (Wikimedia set index article is subclass of abstract entity), (abstract entity has quality existence)
- Wikimedia set index article has quality superclass ⇐ (Wikimedia set index article is subclass of abstract entity), (abstract entity has quality superclass)
- Wikimedia set index article has quality taxonomic rank ⇐ (Wikimedia set index article is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- Wikimedia set index article is subclass of abstract entity ⇐ (Wikimedia set index article is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- Wikimedia set index article is subclass of class ⇐ (Wikimedia set index article is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- Wikimedia set index article is subclass of entity ⇐ (Wikimedia set index article is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- Wikimedia set index article is subclass of list ⇐ (Wikimedia set index article is subclass of Wikimedia list article), (Wikimedia list article is subclass of list), (is subclass of is a transitive relation)
- Wikimedia set index article is subclass of class ⇐ (Wikimedia set index article is subclass of Wikimedia list article), (Wikimedia list article is subclass of class), (is subclass of is a transitive relation)