Deductions
- consensus has quality set ⇐ (consensus has quality arity), (arity has quality set), (has quality is a transitive relation)
- consensus has quality mathematical property ⇐ (consensus has quality arity), (arity has quality mathematical property), (has quality is a transitive relation)
- consensus has quality relation ⇐ (consensus has quality arity), (arity has quality relation), (has quality is a transitive relation)
- consensus has quality criterion ⇐ (consensus has quality type of property), (type of property has quality criterion), (has quality is a transitive relation)
- consensus has quality property ⇐ (consensus has quality type of property), (type of property has quality property), (has quality is a transitive relation)
- consensus has quality class ⇐ (subset is subclass of class), (consensus has quality subset)
- consensus has quality binary relation ⇐ (subclass is a binary relation), (consensus has quality subclass)
- consensus has quality type ⇐ (consensus has quality quality), (quality has quality type), (has quality is a transitive relation)
- consensus has quality type of property ⇐ (consensus has quality quality), (quality has quality type of property), (has quality is a transitive relation)
- consensus has quality class ⇐ (consensus has quality quality), (quality has quality class), (has quality is a transitive relation)
- consensus has quality entity ⇐ (consensus has quality subclass), (subclass has quality entity), (has quality is a transitive relation)
- consensus has quality superclass ⇐ (consensus has quality subclass), (subclass has quality superclass), (has quality is a transitive relation)
- consensus has quality arity ⇐ (consensus has quality subclass), (subclass has quality arity), (has quality is a transitive relation)
- consensus has quality number of entities ⇐ (consensus has quality subclass), (subclass has quality number of entities), (has quality is a transitive relation)
- consensus has quality taxonomic rank ⇐ (consensus has quality subclass), (subclass has quality taxonomic rank), (has quality is a transitive relation)
- consensus has quality mathematical object ⇐ (consensus has quality subclass), (subclass has quality mathematical object), (has quality is a transitive relation)
- consensus has quality abstract entity ⇐ (consensus has quality subclass), (subclass has quality abstract entity), (has quality is a transitive relation)
- consensus has quality subclass ⇐ (subset is subclass of subclass), (consensus has quality subset)
- consensus has quality subset ⇐ (commonality is subclass of subset), (consensus has quality commonality)
- consensus has quality equality ⇐ (commonality is subclass of equality), (consensus has quality commonality)
- consensus has quality quality ⇐ (commonality is a quality), (consensus has quality commonality)
- consensus has quality class ⇐ (existence is a class), (consensus has quality existence)
- consensus is subclass of ! ⇐ (disagreement is subclass of !), (disagreement is opposite of consensus)
- consensus has quality existence ⇐ (consensus is subclass of collective entity), (collective entity has quality existence)
- consensus is subclass of entity ⇐ (disagreement is subclass of entity), (disagreement is opposite of consensus)
- consensus is subclass of dyad ⇐ (disagreement is subclass of dyad), (disagreement is opposite of consensus)
- consensus is subclass of collective entity ⇐ (disagreement is subclass of collective entity), (disagreement is opposite of consensus)