Deductions
- absolute value has quality superclass ⇐ (absolute value has quality inequality), (inequality has quality superclass), (has quality is a transitive relation)
- absolute value has quality arity ⇐ (absolute value has quality inequality), (inequality has quality arity), (has quality is a transitive relation)
- absolute value has quality abstract entity ⇐ (absolute value has quality inequality), (inequality has quality abstract entity), (has quality is a transitive relation)
- absolute value has quality number of entities ⇐ (absolute value has quality inequality), (inequality has quality number of entities), (has quality is a transitive relation)
- absolute value has quality mathematical property ⇐ (absolute value has quality inequality), (inequality has quality mathematical property), (has quality is a transitive relation)
- absolute value has quality mathematical object ⇐ (absolute value has quality inequality), (inequality has quality mathematical object), (has quality is a transitive relation)
- absolute value has quality type of property ⇐ (absolute value has quality inequality), (inequality has quality type of property), (has quality is a transitive relation)
- absolute value has quality existence ⇐ (absolute value has quality inequality), (inequality has quality existence), (has quality is a transitive relation)
- absolute value has quality entity ⇐ (absolute value has quality inequality), (inequality has quality entity), (has quality is a transitive relation)
- absolute value has quality set ⇐ (absolute value has quality inequality), (inequality has quality set), (has quality is a transitive relation)
- absolute value has quality relation ⇐ (absolute value has quality inequality), (inequality has quality relation), (has quality is a transitive relation)
- absolute value has quality taxonomic rank ⇐ (absolute value has quality inequality), (inequality has quality taxonomic rank), (has quality is a transitive relation)
- absolute value has quality class ⇐ (absolute value has quality inequality), (inequality has quality class), (has quality is a transitive relation)
- absolute value has quality property ⇐ (absolute value has quality inequality), (inequality has quality property), (has quality is a transitive relation)
- absolute value has quality quality ⇐ (absolute value has quality inequality), (inequality has quality quality), (has quality is a transitive relation)
- absolute value has quality criterion ⇐ (absolute value has quality inequality), (inequality has quality criterion), (has quality is a transitive relation)
- absolute value has quality type ⇐ (absolute value has quality inequality), (inequality has quality type), (has quality is a transitive relation)
- -i has quality absolute value ⇐ (-i is a complex number), (complex number has quality absolute value)
- many has quality absolute value ⇐ (many is a real number), (real number has quality absolute value)
- 1 has quality absolute value ⇐ (1 is a real number), (real number has quality absolute value)
- 2334 has quality absolute value ⇐ (2334 is a complex number), (complex number has quality absolute value)
- imaginary unit has quality absolute value ⇐ (imaginary unit is a complex number), (complex number has quality absolute value)
- inference has quality absolute value ⇐ (inference has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- literary term has quality absolute value ⇐ (literary term has quality number with finite decimal representation), (number with finite decimal representation has quality absolute value), (has quality is a transitive relation)
- unit has quality absolute value ⇐ (unit has quality number with finite decimal representation), (number with finite decimal representation has quality absolute value), (has quality is a transitive relation)
- official app has quality absolute value ⇐ (official app has quality sourcing circumstance), (sourcing circumstance has quality absolute value), (has quality is a transitive relation)
- mother has quality absolute value ⇐ (mother has quality number with finite decimal representation), (number with finite decimal representation has quality absolute value), (has quality is a transitive relation)
- sourcing circumstance has quality absolute value ⇐ (sourcing circumstance has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- official language has quality absolute value ⇐ (official language has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- close relative has quality absolute value ⇐ (close relative has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- title has quality absolute value ⇐ (title has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- near has quality absolute value ⇐ (near has quality real number), (real number has quality absolute value), (has quality is a transitive relation)
- number with finite decimal representation has quality absolute value ⇐ (number with finite decimal representation is subclass of real number), (real number has quality absolute value)
- 0 number class has quality absolute value ⇐ (0 number class is subclass of real number), (real number has quality absolute value)
- real number has quality absolute value ⇐ (real number is subclass of complex number), (complex number has quality absolute value)
- -i has quality absolute value ⇐ (-i is a complex unit), (complex unit has quality absolute value)
- imaginary unit has quality absolute value ⇐ (imaginary unit is a complex unit), (complex unit has quality absolute value)
- complex unit has quality absolute value ⇐ (complex unit is subclass of complex number), (complex number has quality absolute value)
- absolute value has quality inequality ⇐ (triangle inequality is subclass of inequality), (absolute value has quality triangle inequality)
- absolute value has quality theorem ⇐ (triangle inequality is a theorem), (absolute value has quality triangle inequality)
- −3 has quality absolute value ⇐ (−3 is a complex number), (complex number has quality absolute value)
- 3 has quality absolute value ⇐ (3 is a complex number), (complex number has quality absolute value)
- 0 number class has quality absolute value ⇐ (0 number class is subclass of complex number), (complex number has quality absolute value)
- negative real number has quality absolute value ⇐ (negative real number is subclass of complex number), (complex number has quality absolute value)
- nonzero real number has quality absolute value ⇐ (nonzero real number is subclass of complex number), (complex number has quality absolute value)
- non-negative real number has quality absolute value ⇐ (non-negative real number is subclass of complex number), (complex number has quality absolute value)