Deductions
- number with finite decimal representation has part complex number ⇐ (imaginary unit is a complex number), (number with finite decimal representation has part imaginary unit)
- 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)
- number with finite decimal representation has part imaginary unit ⇐ (number with finite decimal representation is subclass of real number), (real number has part imaginary unit)
- number with finite decimal representation has quality class ⇐ (existence is a class), (number with finite decimal representation has quality existence)
- number with finite decimal representation is for example many ⇐ (many is a number with finite decimal representation), (is a is inverse of is for example)
- entity is for example number with finite decimal representation ⇐ (number with finite decimal representation is a entity), (is a is inverse of is for example)
- 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)
- number with finite decimal representation has quality existence ⇐ (number with finite decimal representation is a entity), (entity has quality existence)
- mother has quality number with finite decimal representation ⇐ (mother has quality unit), (unit has quality number with finite decimal representation), (has quality is a transitive relation)
- close relative has quality number with finite decimal representation ⇐ (close relative has quality unit), (unit has quality number with finite decimal representation), (has quality is a transitive relation)
- official app has quality number with finite decimal representation ⇐ (official app has quality sourcing circumstance), (sourcing circumstance has quality number with finite decimal representation), (has quality is a transitive relation)
- official language has quality number with finite decimal representation ⇐ (official language has quality sourcing circumstance), (sourcing circumstance has quality number with finite decimal representation), (has quality is a transitive relation)
- number with finite decimal representation is a entity ⇐ (type of number is subclass of entity), (number with finite decimal representation is a type of number)
- unit has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (unit has quality 1)
- literary term has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (literary term has quality 1)
- inference has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (inference has quality 1)
- title has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (title has quality 1)
- sourcing circumstance has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (sourcing circumstance has quality 1)
- near has quality number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (near has quality 1)
- many is a number with finite decimal representation ⇐ (1 is a number with finite decimal representation), (1 is opposite of many)
- type of number is for example number with finite decimal representation ⇐ (number with finite decimal representation is a type of number), (is a is inverse of is for example)
- number with finite decimal representation is for example 1 ⇐ (1 is a number with finite decimal representation), (is a is inverse of is for example)
- number with finite decimal representation is for example 2334 ⇐ (2334 is a number with finite decimal representation), (is a is inverse of is for example)
- number with infinite decimal representation is opposite of number with finite decimal representation ⇐ number with finite decimal representation is opposite of number with infinite decimal representation
- 1 is a number with finite decimal representation ⇐ (integer is subclass of number with finite decimal representation), (1 is a integer)
- 2334 is a number with finite decimal representation ⇐ (integer is subclass of number with finite decimal representation), (2334 is a integer)