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