Deductions
- real number is for example 2334 ⇐ (2334 is a real number), (is a is inverse of is for example)
- real number is for example many ⇐ (many is a real number), (is a is inverse of is for example)
- real number is for example 1 ⇐ (1 is a real number), (is a is inverse of is for example)
- 2334 is a real number ⇐ (number with finite decimal representation is subclass of real number), (2334 is a number with finite decimal representation)
- 1 is a real number ⇐ (number with finite decimal representation is subclass of real number), (1 is a number with finite decimal representation)
- many is a real number ⇐ (number with finite decimal representation is subclass of real number), (many is a number with finite decimal representation)
- near has quality real number ⇐ (number with finite decimal representation is subclass of real number), (near has quality number with finite decimal representation)
- title has quality real number ⇐ (number with finite decimal representation is subclass of real number), (title has quality number with finite decimal representation)
- inference has quality real number ⇐ (number with finite decimal representation is subclass of real number), (inference has quality number with finite decimal representation)
- official app has quality real number ⇐ (number with finite decimal representation is subclass of real number), (official app has quality number with finite decimal representation)
- close relative has quality real number ⇐ (number with finite decimal representation is subclass of real number), (close relative has quality number with finite decimal representation)
- sourcing circumstance has quality real number ⇐ (number with finite decimal representation is subclass of real number), (sourcing circumstance has quality number with finite decimal representation)
- literary term has quality real number ⇐ (number with finite decimal representation is subclass of real number), (literary term has quality number with finite decimal representation)
- unit has quality real number ⇐ (number with finite decimal representation is subclass of real number), (unit has quality number with finite decimal representation)
- official language has quality real number ⇐ (number with finite decimal representation is subclass of real number), (official language has quality number with finite decimal representation)
- mother has quality real number ⇐ (number with finite decimal representation is subclass of real number), (mother has quality number with finite decimal representation)
- entity is for example real number ⇐ (real number is a entity), (is a is inverse of is for example)
- real number is a entity ⇐ (type of number is subclass of entity), (real number is a type of number)
- real number has quality absolute value ⇐ (real number is subclass of complex number), (complex number has quality absolute value)
- real number has part imaginary unit ⇐ (real number is subclass of complex number), (complex number has part imaginary unit)
- 0 number class is subclass of real number ⇐ (nonzero real number is subclass of real number), (nonzero real number is opposite of 0 number class)
- real number has quality taxonomic rank ⇐ (real number is subclass of hypercomplex number), (hypercomplex number has quality taxonomic rank)
- real number has quality existence ⇐ (real number is subclass of hypercomplex number), (hypercomplex number has quality existence)
- real number has quality class ⇐ (real number is subclass of hypercomplex number), (hypercomplex number has quality class)
- real number has quality superclass ⇐ (real number is subclass of hypercomplex number), (hypercomplex number has quality superclass)
- real number has quality entity ⇐ (real number is subclass of hypercomplex number), (hypercomplex number has quality entity)
- real number is subclass of hypercomplex number ⇐ (real number is subclass of quaternion), (quaternion is subclass of hypercomplex number), (is subclass of is a transitive relation)
- real number is subclass of quaternion ⇐ (complex number is subclass of quaternion), (complex number is opposite of real number)
- real number is for example 3 ⇐ (3 is a real number), (is a is inverse of is for example)
- real number is for example −3 ⇐ (−3 is a real number), (is a is inverse of is for example)
- 3 is a real number ⇐ (negative real number is subclass of real number), (3 is a negative real number)
- −3 is a real number ⇐ (negative real number is subclass of real number), (−3 is a negative real number)
- type of number is for example real number ⇐ (real number is a type of number), (is a is inverse of is for example)
- complex number is opposite of real number ⇐ real number is opposite of complex number
- negative real number is subclass of real number ⇐ (non-negative real number is subclass of real number), (non-negative real number is opposite of negative real number)
- number with finite decimal representation is subclass of real number ⇐ (number with infinite decimal representation is subclass of real number), (number with infinite decimal representation is opposite of number with finite decimal representation)