Deductions
- logical system has quality class ⇐ (set is a class), (logical system has quality set)
- logical system has quality class ⇐ (quality is a class), (logical system has quality quality)
- logical system has quality criterion ⇐ (logical system has quality mathematical object), (mathematical object has quality criterion), (has quality is a transitive relation)
- logical system has quality property ⇐ (logical system has quality mathematical object), (mathematical object has quality property), (has quality is a transitive relation)
- logical system has quality type ⇐ (logical system has quality mathematical object), (mathematical object has quality type), (has quality is a transitive relation)
- logical system has quality quality ⇐ (logical system has quality mathematical object), (mathematical object has quality quality), (has quality is a transitive relation)
- logical system has quality type of property ⇐ (logical system has quality mathematical object), (mathematical object has quality type of property), (has quality is a transitive relation)
- logical system has quality Wikimedia page ⇐ (consistency is a Wikimedia page), (logical system has quality consistency)
- logical system has quality class ⇐ (set is a class), (logical system has quality set)
- logical system has quality dyad ⇐ (consistency is subclass of dyad), (logical system has quality consistency)
- logical system has quality relation ⇐ (logical system has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- logical system has quality set ⇐ (logical system has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- logical system has quality entity ⇐ (logical system has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- logical system has quality existence ⇐ (logical system has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- logical system has quality superclass ⇐ (logical system has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- logical system has quality taxonomic rank ⇐ (logical system has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- logical system has quality abstract entity ⇐ (arity is a abstract entity), (logical system has quality arity)
- logical system has quality mathematical object ⇐ (arity is a mathematical object), (logical system has quality arity)
- logical system has part variable-order class ⇐ (concept is a variable-order class), (logical system has part concept)
- logical system has part concept ⇐ (metaclass is a concept), (logical system has part metaclass)
- logical system has part metaclass ⇐ (abstract entity is a metaclass), (logical system has part abstract entity)
- logical system has part type of object ⇐ (abstract entity is a type of object), (logical system has part abstract entity)
- logical system has part abstract entity ⇐ (formal system is a abstract entity), (logical system has part formal system)
- logical system has part class ⇐ (formal system is a class), (logical system has part formal system)
- logical system has part entity ⇐ (type of system is a entity), (logical system has part type of system)
- logical system has quality Wikimedia internal item ⇐ (consistency is a Wikimedia internal item), (logical system has quality consistency)
- logical system has part type of system ⇐ (formal system is a type of system), (logical system has part formal system)
- logical system has quality arity ⇐ (logical system has quality mathematical property), (mathematical property has quality arity), (has quality is a transitive relation)
- logical system has quality number of entities ⇐ (logical system has quality mathematical property), (mathematical property has quality number of entities), (has quality is a transitive relation)
- logical system is subclass of conceptual system ⇐ (logical system is subclass of formal system), (formal system is subclass of conceptual system), (is subclass of is a transitive relation)
- logical system has quality mathematical property ⇐ (consistency is subclass of mathematical property), (logical system has quality consistency)