Deductions
- Category:United Kingdom has quality left-totality ⇐ (Category:United Kingdom has quality function), (function has quality left-totality), (has quality is a transitive relation)
- Category:United Kingdom has quality class ⇐ (Category:United Kingdom has quality function), (function has quality class), (has quality is a transitive relation)
- Category:United Kingdom has quality set ⇐ (Category:United Kingdom has quality function), (function has quality set), (has quality is a transitive relation)
- Category:United Kingdom has quality number of entities ⇐ (Category:United Kingdom has quality function), (function has quality number of entities), (has quality is a transitive relation)
- Category:United Kingdom has quality relation ⇐ (Category:United Kingdom has quality function), (function has quality relation), (has quality is a transitive relation)
- Category:United Kingdom has quality mathematical property ⇐ (Category:United Kingdom has quality function), (function has quality mathematical property), (has quality is a transitive relation)
- Category:United Kingdom has quality arity ⇐ (Category:United Kingdom has quality function), (function has quality arity), (has quality is a transitive relation)
- Category:United Kingdom has quality mathematical object ⇐ (Category:United Kingdom has quality function), (function has quality mathematical object), (has quality is a transitive relation)
- Category:United Kingdom has quality extension of a concept ⇐ (Category:United Kingdom has quality function), (function has quality extension of a concept), (has quality is a transitive relation)
- Category:United Kingdom has quality binary relation ⇐ (metric function is subclass of binary relation), (Category:United Kingdom has quality metric function)
- Category:United Kingdom has quality serial relation ⇐ (function is subclass of serial relation), (Category:United Kingdom has quality function)
- Category:United Kingdom has quality function ⇐ (metric function is subclass of function), (Category:United Kingdom has quality metric function)
- class is for example Category:United Kingdom ⇐ (Category:United Kingdom is a class), (is a is inverse of is for example)
- Category:United Kingdom has quality symmetry ⇐ (Category:United Kingdom has quality metric function), (metric function has quality symmetry), (has quality is a transitive relation)
- Category:United Kingdom has quality metric function ⇐ (Category:United Kingdom has quality spatial arrangement), (spatial arrangement has quality metric function), (has quality is a transitive relation)
- Category:United Kingdom is a class ⇐ (abstract entity is subclass of class), (Category:United Kingdom is a abstract entity)
- Category:United Kingdom has quality abstract entity ⇐ (type is a abstract entity), (Category:United Kingdom has quality type)
- abstract entity is for example Category:United Kingdom ⇐ (Category:United Kingdom is a abstract entity), (is a is inverse of is for example)
- Category:United Kingdom has quality type of property ⇐ (Category:United Kingdom is a list), (list has quality type of property)
- Category:United Kingdom has quality entity ⇐ (Category:United Kingdom is a list), (list has quality entity)
- Category:United Kingdom has quality spatial arrangement ⇐ (Category:United Kingdom is a list), (list has quality spatial arrangement)
- Category:United Kingdom has quality superclass ⇐ (Category:United Kingdom is a list), (list has quality superclass)
- Category:United Kingdom has quality criterion ⇐ (Category:United Kingdom is a list), (list has quality criterion)
- Category:United Kingdom has quality taxonomic rank ⇐ (Category:United Kingdom is a list), (list has quality taxonomic rank)
- Category:United Kingdom has quality property ⇐ (Category:United Kingdom is a list), (list has quality property)
- Category:United Kingdom has quality quality ⇐ (Category:United Kingdom is a list), (list has quality quality)
- Category:United Kingdom has quality type ⇐ (Category:United Kingdom is a list), (list has quality type)
- Category:United Kingdom has quality class ⇐ (Category:United Kingdom is a list), (list has quality class)
- Category:United Kingdom is a abstract entity ⇐ (Wikimedia category is subclass of abstract entity), (Category:United Kingdom is a Wikimedia category)
- entity is for example Category:United Kingdom ⇐ (Category:United Kingdom is a entity), (is a is inverse of is for example)
- Category:United Kingdom has quality existence ⇐ (Category:United Kingdom is a entity), (entity has quality existence)
- Category:United Kingdom is a entity ⇐ (Wikimedia category is subclass of entity), (Category:United Kingdom is a Wikimedia category)
- list is for example Category:United Kingdom ⇐ (Category:United Kingdom is a list), (is a is inverse of is for example)
- Wikimedia category is for example Category:United Kingdom ⇐ (Category:United Kingdom is a Wikimedia category), (is a is inverse of is for example)
- Category:United Kingdom is a list ⇐ (Wikimedia category is subclass of list), (Category:United Kingdom is a Wikimedia category)