Deductions
- entity is for example inequality ⇐ (inequality is a entity), (is a is inverse of is for example)
- set is for example inequality ⇐ (inequality is a set), (is a is inverse of is for example)
- inequality is a entity ⇐ (equality is a entity), (equality is opposite of inequality)
- inequality is a set ⇐ (equality is a set), (equality is opposite of inequality)
- inequality has part entity ⇐ (not equal to is a entity), (inequality has part not equal to)
- inequality has part set ⇐ (not equal to is a set), (inequality has part not equal to)
- mother has quality inequality ⇐ (mother has quality unit), (unit has quality inequality), (has quality is a transitive relation)
- 2334 has quality inequality ⇐ (2334 has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- near has quality inequality ⇐ (near has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- title has quality inequality ⇐ (title has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- close relative has quality inequality ⇐ (close relative has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- official language has quality inequality ⇐ (official language has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- inference has quality inequality ⇐ (inference has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- official app has quality inequality ⇐ (official app has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- unit has quality inequality ⇐ (unit has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- 1 has quality inequality ⇐ (1 has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- literary term has quality inequality ⇐ (triangle inequality is subclass of inequality), (literary term has quality triangle inequality)
- complex unit has quality inequality ⇐ (triangle inequality is subclass of inequality), (complex unit has quality triangle inequality)
- inequality has quality type ⇐ (inequality has quality class), (class has quality type), (has quality is a transitive relation)
- inequality has quality type of property ⇐ (inequality has quality class), (class has quality type of property), (has quality is a transitive relation)
- inequality has quality criterion ⇐ (inequality has quality class), (class has quality criterion), (has quality is a transitive relation)
- inequality has quality quality ⇐ (inequality has quality class), (class has quality quality), (has quality is a transitive relation)
- inequality has quality property ⇐ (inequality has quality class), (class has quality property), (has quality is a transitive relation)
- inequality has quality class ⇐ (set is a class), (inequality has quality set)
- complex unit has quality inequality ⇐ (complex unit has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- imaginary unit has quality inequality ⇐ (imaginary unit has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- -i has quality inequality ⇐ (-i has quality absolute value), (absolute value has quality inequality), (has quality is a transitive relation)
- absolute value has quality inequality ⇐ (triangle inequality is subclass of inequality), (absolute value has quality triangle inequality)
- −3 has quality inequality ⇐ (triangle inequality is subclass of inequality), (−3 has quality triangle inequality)
- 3 has quality inequality ⇐ (triangle inequality is subclass of inequality), (3 has quality triangle inequality)
- 0 number class has quality inequality ⇐ (triangle inequality is subclass of inequality), (0 number class has quality triangle inequality)
- negative real number has quality inequality ⇐ (triangle inequality is subclass of inequality), (negative real number has quality triangle inequality)
- inequality has quality class ⇐ (quality is a class), (inequality has quality quality)
- inequality has quality type ⇐ (inequality has quality class), (class has quality type), (has quality is a transitive relation)
- inequality has quality type of property ⇐ (inequality has quality class), (class has quality type of property), (has quality is a transitive relation)
- inequality has quality criterion ⇐ (inequality has quality class), (class has quality criterion), (has quality is a transitive relation)
- inequality has quality quality ⇐ (inequality has quality class), (class has quality quality), (has quality is a transitive relation)
- inequality has quality property ⇐ (inequality has quality class), (class has quality property), (has quality is a transitive relation)
- inequality has quality class ⇐ (set is a class), (inequality has quality set)
- inequality has quality taxonomic rank ⇐ (inequality has quality mathematical object), (mathematical object has quality taxonomic rank), (has quality is a transitive relation)
- inequality has quality relation ⇐ (inequality has quality mathematical object), (mathematical object has quality relation), (has quality is a transitive relation)
- inequality has quality set ⇐ (inequality has quality mathematical object), (mathematical object has quality set), (has quality is a transitive relation)
- inequality has quality superclass ⇐ (inequality has quality mathematical object), (mathematical object has quality superclass), (has quality is a transitive relation)
- inequality has quality mathematical property ⇐ (inequality has quality mathematical object), (mathematical object has quality mathematical property), (has quality is a transitive relation)
- inequality has quality entity ⇐ (inequality has quality mathematical object), (mathematical object has quality entity), (has quality is a transitive relation)
- inequality has quality existence ⇐ (inequality has quality mathematical object), (mathematical object has quality existence), (has quality is a transitive relation)
- inequality has quality abstract entity ⇐ (arity is a abstract entity), (inequality has quality arity)
- inequality has quality mathematical object ⇐ (arity is a mathematical object), (inequality has quality arity)
- inequality has quality number of entities ⇐ (inequality is subclass of binary relation), (binary relation has quality number of entities)
- inequality has quality arity ⇐ (inequality is subclass of binary relation), (binary relation has quality arity)
- mathematical concept is for example inequality ⇐ (inequality is a mathematical concept), (is a is inverse of is for example)
- inequality is opposite of equality ⇐ equality is opposite of inequality