Deductions
- equality has quality class ⇐ (equality has quality quality), (quality has quality class), (has quality is a transitive relation)
- equality has quality quality ⇐ (equality is a set), (set has quality quality)
- equality has quality type ⇐ (equality is a set), (set has quality type)
- equality has quality property ⇐ (equality is a set), (set has quality property)
- equality has quality criterion ⇐ (equality is a set), (set has quality criterion)
- equality has quality taxonomic rank ⇐ (equality is a set), (set has quality taxonomic rank)
- equality has quality superclass ⇐ (equality is a set), (set has quality superclass)
- equality has quality existence ⇐ (equality is a set), (set has quality existence)
- equality has quality entity ⇐ (equality is a set), (set has quality entity)
- equality has quality type of property ⇐ (equality is a set), (set has quality type of property)
- equality has quality abstract entity ⇐ (equality is a set), (set has quality abstract entity)
- entity is for example equality ⇐ (equality is a entity), (is a is inverse of is for example)
- set is for example equality ⇐ (equality is a set), (is a is inverse of is for example)
- equality is a set ⇐ (binary relation is subclass of set), (equality is a binary relation)
- equality is a entity ⇐ (binary relation is subclass of entity), (equality is a binary relation)
- binary relation is for example equality ⇐ (equality is a binary relation), (is a is inverse of is for example)
- equality is opposite of not equal to ⇐ not equal to is opposite of equality
- equality is a binary relation ⇐ (not equal to is a binary relation), (not equal to is opposite of equality)
- consensus has quality equality ⇐ (commonality is subclass of equality), (consensus has quality commonality)
- Wikimedia albums discography has quality equality ⇐ (commonality is subclass of equality), (Wikimedia albums discography has quality commonality)
- discography has quality equality ⇐ (commonality is subclass of equality), (discography has quality commonality)
- difference is subclass of equality ⇐ (commonality is subclass of equality), (commonality is opposite of difference)
- mathematical concept is for example equality ⇐ (equality is a mathematical concept), (is a is inverse of is for example)
- equality is subclass of binary relation ⇐ (inequality is subclass of binary relation), (inequality is opposite of equality)
- equality is a mathematical concept ⇐ (inequality is a mathematical concept), (inequality is opposite of equality)
- inequality is opposite of equality ⇐ equality is opposite of inequality