Deductions
- Category:Births in London has quality class ⇐ (existence is a class), (Category:Births in London has quality existence)
- Category:Births in London has quality superclass ⇐ (Category:Births in London is a class), (class has quality superclass)
- Category:Births in London has quality taxonomic rank ⇐ (Category:Births in London is a class), (class has quality taxonomic rank)
- Category:Births in London has quality entity ⇐ (Category:Births in London is a class), (class has quality entity)
- class is for example Category:Births in London ⇐ (Category:Births in London is a class), (is a is inverse of is for example)
- Category:Births in London is a class ⇐ (abstract entity is subclass of class), (Category:Births in London is a abstract entity)
- abstract entity is for example Category:Births in London ⇐ (Category:Births in London is a abstract entity), (is a is inverse of is for example)
- Category:Births in London is a abstract entity ⇐ (Wikimedia category is subclass of abstract entity), (Category:Births in London is a Wikimedia category)
- entity is for example Category:Births in London ⇐ (Category:Births in London is a entity), (is a is inverse of is for example)
- Category:Births in London has quality existence ⇐ (Category:Births in London is a entity), (entity has quality existence)
- Category:Births in London is a entity ⇐ (Wikimedia category is subclass of entity), (Category:Births in London is a Wikimedia category)
- list is for example Category:Births in London ⇐ (Category:Births in London is a list), (is a is inverse of is for example)
- Wikimedia category is for example Category:Births in London ⇐ (Category:Births in London is a Wikimedia category), (is a is inverse of is for example)
- Category:Births in London is a list ⇐ (Wikimedia category is subclass of list), (Category:Births in London is a Wikimedia category)