Deductions
- Wikimedia list of lists is subclass of abstract entity ⇐ (Wikimedia list of lists is subclass of class), (class is subclass of abstract entity), (is subclass of is a transitive relation)
- Wikimedia list of lists is subclass of class ⇐ (Wikimedia list of lists is subclass of class), (class is subclass of class), (is subclass of is a transitive relation)
- Wikimedia list of lists is subclass of entity ⇐ (Wikimedia list of lists is subclass of class), (class is subclass of entity), (is subclass of is a transitive relation)
- Wikimedia list of lists is subclass of list ⇐ (Wikimedia list of lists is subclass of Wikimedia list article), (Wikimedia list article is subclass of list), (is subclass of is a transitive relation)
- Wikimedia list of lists is subclass of class ⇐ (Wikimedia list of lists is subclass of Wikimedia list article), (Wikimedia list article is subclass of class), (is subclass of is a transitive relation)